Kind: A Modern Proof Language

Re:Kind: A Modern Proof Language by haskellandchill on Wednesday August 11, 2021 @02:08PM (#28145506)

I've been following this project for a while. Good work, but a haphazard ranting style of promotion. But hey it's a proofs language, it's gonna get weird.

[ Parent | on HN ]

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 ]

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.

[ Parent | on HN ]