News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by daxfohl on Saturday August 14, 2021 @10:37PM (#28185823)
I think it was great. As someone who has tried Haskell a few times and been disappointed, it rang true. I've been working on my own pet language for a bit and wondering where to go with it, but kind may be roughly where it was going to end up.

There are no comments on this comment yet.