Still have yet to do one on paper 😰
This Tweet was deleted by the Tweet author. Learn more
Conversation
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
Yeah, I was looking into trying out autosubst, but then got stuck trying to figure out Opam.
This Tweet was deleted by the Tweet author. Learn more
What would be my best bet if I was aiming to eventually prove stuff about dependent types for Pikelet? Roll my own? Autosubst had an example for CC which looked neat and promising to my naive eye: ps.uni-saarland.de/autosubst/doc/
This Tweet was deleted by the Tweet author. Learn more
I ragequitted after I realized that Opam still used cabal-style global mutation of package sets. 🤦♂️🤦♂️
1
Which was probably a little uncharitable of me.
1
Show replies