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
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
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. 🤦♂️🤦♂️
Colliding cultures of reproducible builds per project (like in cargo, nix, npm) with the more old-school, global package repository way of doing things (ie. only 1 package version enabled globally at a time). "I just wanted to do type theory, but got stuck installing stuff"
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.