Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (4 sloc) 202 Bytes
Idris (http://idris-lang.org/) is an experimental functional programming
language with dependent types.
To install, type 'make'. This will install everything using cabal and
typecheck the libraries.
Jump to Line
Something went wrong with that request. Please try again.