Idris
Sign in to savepurely functional programming language
Wikidata facts
- Official website
- www.cs.st-andrews.ac.uk/~eb/Idris
Show 5 more facts
- source code repository URL
- github.com/idris-lang/Idris-dev
- inception
- 2007-00-00
- file extension
- lidr
- software version identifier
- 1.3.3
- IRC channel URL
- irc://libera.chat/#idris
Sources (8)
via Wikidata · CC0
Connections
Categories
2007 softwareCross-platform free softwareDependently typed languagesExperimental programming languagesFree and open source compilersFree software programmed in HaskellFunctional languagesHaskell programming language familyHigh-level programming languagesPattern matching programming languagesProgramming languages created in 2007Software using the BSD licenseStatically typed programming languages