News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by girishso on Wednesday August 11, 2021 @10:23PM (#28150944)
I read your comment elsewhere here defending the curlys and it does make sense, I was judging it prematurely.

> Guess I'll end up adding a bracket-less version

Don't make a decision just by listening to some random strangers like me!

There are no comments on this comment yet.