ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
A Dependently Typed Functional Programming Language
508 Commits 4 Branches 42 Tags 40 MiB
Haskell 58.4%
Idris 32.5%
C 6.4%
JavaScript 1.2%
Shell 1.1%
Other 0.2%
a94fd816b9
Go to file
Edwin Brady a94fd816b9 Remove Eq constraint from Num
2012-03-01 10:46:12 +00:00
contribs/gtksourceview-2.0-language-spec A few changes: 2012-02-08 13:42:05 +01:00
impl-paper Missing .tex files 2012-02-20 15:23:57 +00:00
lib Remove Eq constraint from Num 2012-03-01 10:46:12 +00:00
samples Remove Eq constraint from Num 2012-03-01 10:46:12 +00:00
src Added malloc and trace_malloc 2012-02-27 16:11:09 +00:00
test More on errors; propagate line numbers 2012-02-02 12:14:55 +00:00
tutorial Update dependencies and correct examples 2012-02-27 23:47:01 +00:00
.gitignore New .gitignore for Cabal's directory and .ibc files. 2012-01-22 15:19:06 -05:00
CHANGELOG Update dependencies and correct examples 2012-02-27 23:47:01 +00:00
idris.cabal Remove Eq constraint from Num 2012-03-01 10:46:12 +00:00
LICENSE Fix LICENSE 2011-09-14 18:01:24 +01:00
Makefile Unreachable case warning 2012-01-21 10:45:13 -05:00
README Update .cabal and README 2011-11-07 00:15:08 +00:00
Setup.hs Rewrite cabal config to be distribution friendly. 2012-02-19 23:40:13 -05:00

README 

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.