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
Conversation
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
If I can figure out how to get Opam working I'll let you know how I go!
1
1
I ragequitted after I realized that Opam still used cabal-style global mutation of package sets. 🤦♂️🤦♂️
1
This Tweet was deleted by the Tweet author. Learn more
Oh cool, fingers crossed! Perhaps I'll try a prelease. It's understandable that they don't have as much funding to work with as other ecosystems, so I'm sympathetic in that regard. And even better that they are trying to improve things.
This Tweet was deleted by the Tweet author. Learn more