It’s been too long since I have written some #Haskell.
@lthms same....
@lizardsquid @lthms same. Wanted to branch out and learn a bit Coq, but then ran out of steam.Thinking of trying again when holidays come around.
@tuturto If you need help when learning #Coq, feel free to poke around. (:
@lthms thanks, I'll keep that in mind. I was reading and doing exercises from Software Foundations and got up to inductive propositions (I think).
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
@lizardsquid @lthms same. Wanted to branch out and learn a bit Coq, but then ran out of steam.
Thinking of trying again when holidays come around.