News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.