Hacker News new | past | comments | ask | show | jobs | submit | from login
Kind: A Modern Proof Language (github.com/uwu-tech)
232 points by danny00 on Aug 11, 2021 | past | 111 comments
First class modules with self types (github.com/uwu-tech)
2 points by LangMakers on July 29, 2021 | past
Show HN: Kind, a minimal, efficient, practical proof language (github.com/uwu-tech)
2 points by LightMachine on May 16, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: