Re:Kind: A Modern Proof Language
by haskellandchill on Wednesday August 11, 2021 @02:11PM
(#28145555)
Kindlang, problem solved
Re:Kind: A Modern Proof Language
by LangMakers on Wednesday August 11, 2021 @04:28PM
(#28147314)
Speaking of names, I love yours
Python is easy 'cause the other meaning is a real noun, so disambiguation is easy.
Kind is a general word, another tech project, and also a programming term.
just an opinion ofc :)