Idris
Sign in to savepurely functional programming language
Wikidata facts
- Instance of
- proof assistant
- Official website
- www.cs.st-andrews.ac.uk/~eb/Idris
Show 7 more facts
- source code repository URL
- github.com/idris-lang/Idris-dev
- programmed in
- Q34010
- inception
- 2007-00-00
- file extension
- lidr
- software version identifier
- 1.3.3
- copyright license
- BSD licenses
- IRC channel URL
- irc://libera.chat/#idris
Sources (8)
via Wikidata · CC0