kind-lang/Kind

A modern proof language

68 best points · 9 comments · 2 Hacker News posts · 3,763 GitHub stars · View on GitHub

Hacker News discussions

• Beyond inductive datatypes: exploring Self types (68 points, 5 comments, by danny00, 2021-10-30)
• Getters and Setters in Kind (3 points, 4 comments, by LangMakers, 2021-10-17)