Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Idris2: A purely functional programming language with first class types
github.com/idris-lang
3 points
tosh
3 years ago
No comment yet
Idris2: A purely functional programming language with first class types | Heykuki News