Re:Kind: A Modern Proof Language
by zem on Thursday August 12, 2021 @12:56PM
(#28158696)
it's not that the name means other things, it's that it's a very generic word that is used in lots of other contexts, several of which are programming and even language related. I had the same issues searching for "Nice" and "Clean" back in the day.
[ Parent
| on HN ]
There are no comments on this comment yet.