I like programming and mathematics.
- California
- https://jaday.io
Stars
2
results
for source starred repositories
written in Idris
Clear filter
A purely functional programming language with first class types
A dependently typed programming language, a successor to Idris