Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Beyond inductive datatypes: exploring Self types
github.com/kind-lang
68 points
danny00
5 years ago
5 comments
Loading...
Beyond inductive datatypes: exploring Self types | Heykuki News