Re:Kind: A Modern Proof Language
by LangMakers on Wednesday August 11, 2021 @03:32PM
(#28146611)
I'm both proud and ashamed of this rant. At least it changed my views about some subjects.
[ Parent
| on HN ]
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.