ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-22 06:29:37 +03:00
Code Issues Projects Releases Wiki Activity
A Dependently Typed Functional Programming Language
589 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%
21ffb28b48
Go to file
Edwin Brady 21ffb28b48 Add a sample of named instances
2012-05-03 23:07:17 +01:00
contribs/gtksourceview-2.0-language-spec A few changes: 2012-02-08 13:42:05 +01:00
impl-paper Pass pattern variable names to match compiler 2012-04-23 15:17:52 +01:00
lib Made Ordering an Eq instance 2012-05-01 13:07:27 +01:00
samples Add a sample of named instances 2012-05-03 23:07:17 +01:00
src Allow explicit names on type class instances (for explicit resolution) 2012-05-03 23:06:00 +01:00
support Add mkLazyForeign primitive 2012-04-27 11:14:18 +01:00
test Check patterns are inaccessible 2012-04-24 14:57:55 +01:00
tutorial More paper changes 2012-03-30 13:09:32 +01:00
.gitignore New .gitignore for Cabal's directory and .ibc files. 2012-01-22 15:19:06 -05:00
CHANGELOG Work on implementation paper; tutorial fixes 2012-03-07 10:39:05 +00:00
idris.cabal Added support/ directory so that library can use C support files 2012-04-10 14:49:03 +01: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 Undo Setup.hs change 2012-04-27 12:59:49 +01: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.