avsm / Idris

A language with dependent types

http://www.cs.st-andrews.ac.uk/~eb/Idris/

This repository is not active

About

A language with dependent types

http://www.cs.st-andrews.ac.uk/~eb/Idris/

Other

Languages

Language:Haskell 98.6%Language:Eiffel 0.7%Language:Perl 0.7%