Still have yet to do one on paper 😰
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. 🤦♂️🤦♂️
1
Which was probably a little uncharitable of me.
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