Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Idris 2: a purely functional programming language with first class types
github.com/idris-lang
4 points
pretext
4 years ago
No comment yet
Idris 2: a purely functional programming language with first class types | Heykuki News