Idris
Notes on programming languages ▸ Idris \blacktriangleright Idris syntax |
Note
Language
See also Idris syntax
Discussion
Reference
Basics including prelude:
Notes on programming languages ▸ Idris \blacktriangleright Idris syntax |
See also Idris syntax
Basics including prelude: