Hacker News new | past | comments | ask | show | jobs | submit | from login

Beyond inductive datatypes: exploring Self types (github.com/kind-lang) 68 points by danny00 on Oct 30, 2021 | past | 5 comments Getters and Setters in Kind (github.com/kind-lang) 3 points by LangMakers on Oct 17, 2021 | past | 4 comments

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