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

There are no comments on this comment yet.