Skip to content

TimRichter/Idris-dev

About

A Dependently Typed Functional Programming Language

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 65.6%
  • Idris 25.2%
  • C 6.5%
  • JavaScript 1.2%
  • Shell 0.8%
  • C++ 0.2%
  • Other 0.5%