✧✦Catherine✦✧ on Nostr: i think opam and coq are a particularly bad combination (coq is fucking weird and i ...

i think opam and coq are a particularly bad combination (coq is fucking weird and i don't like talking about it); wanna try using opam in a non-coq context? i know it quite well and can answer questions