Idris
Paradigms
functional, total functional, purely functional
Typing
linear system
Influenced By
Agda, Haskell, Clean, Coq, Epigram
File extensions
idr, lidr
External Links
| Type | programming |
| Created | 2007 |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | N/A |
Code Example
↓
Loading...