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
1,468 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%
cf9d50faee
Go to file
David Christiansen cf9d50faee Remove dynamically loaded RTS due to 32/64-bit issues on OS X
2013-04-08 15:19:13 +02:00
contribs Vim support for the new tactic keywords 2013-03-24 19:58:47 +01:00
effects Remove dynamically loaded RTS due to 32/64-bit issues on OS X 2013-04-08 15:19:13 +02:00
iif Change TRACE mode to use -O2 2012-09-05 17:24:37 +01:00
java Primitives for object method call + formating 2013-03-18 15:47:35 +01:00
js javascript: extracted common runtime 2013-02-18 20:23:30 +01:00
lib Remove dynamically loaded RTS due to 32/64-bit issues on OS X 2013-04-08 15:19:13 +02:00
papers/impl-paper Revision of impl-paper completed. 2013-02-15 16:33:05 +00:00
rts Remove dynamically loaded RTS due to 32/64-bit issues on OS X 2013-04-08 15:19:13 +02:00
samples Improved performance by not going through PQuote and doing less normalisation 2013-03-25 19:57:19 +01:00
src Remove dynamically loaded RTS due to 32/64-bit issues on OS X 2013-04-08 15:19:13 +02:00
support Don't build thread support (because it doesn't work...) 2012-05-10 11:37:46 +01:00
test Merge remote-tracking branch 'upstream/master' into providers 2013-04-05 17:47:18 +02:00
tutorial Added :x, :dynamic, and %dynamic to the tutorial 2013-03-21 18:35:53 +01:00
.gitattributes typo fix in git attributes, adding test results to gitignore 2012-11-26 21:09:59 -05:00
.gitignore Build RTS as shared library 2013-04-01 18:47:42 +02:00
.travis.yml travisci: run test suite 2012-10-29 14:22:57 -07:00
CHANGELOG If the goal is not a function type when elaborating \, invent one 2013-03-28 12:39:39 +00:00
config.mk Merge remote-tracking branch 'upstream/master' into providers 2013-04-05 17:47:18 +02:00
CONTRIBUTORS unify help and completion of REPL - previously they were not in sync, now it is one lookup table 2013-03-13 15:24:15 +01:00
idris.cabal Flag to disable effects 2013-03-24 16:54:33 +01:00
LICENSE Fix LICENSE 2011-09-14 18:01:24 +01:00
Makefile Fix "make relib" to use dynamic rts 2013-04-04 16:34:42 +02:00
README Added testing instructions to README 2013-02-25 15:16:07 +01:00
Setup.hs Remove dynamically loaded RTS due to 32/64-bit issues on OS X 2013-04-08 15:19:13 +02:00

README 

Idris (http://idris-lang.org/) is an experimental functional programming 
language with dependent types.

To configure, edit config.mk. The default values should work for most people.

To install, type 'make'. This will install everything using cabal and
typecheck the libraries.

To run the tests, type 'make test' which will execute the test suite, and
'make relib', which will typecheck and recompile the standard library.