Re:Kind: A Modern Proof Language
by NieDzejkob on Thursday August 12, 2021 @09:44AM
(#28156257)
Does the 700 LoC core include a termination checker? If I understood your other comments correctly, that's planned for later, no? If so, I don't think this is a very apples-to-apples comparison.
[ Parent
| on HN ]
There are no comments on this comment yet.