ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity
A Dependently Typed Functional Programming Language
8,324 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%
6b35bbb01d
Go to file
Edwin Brady 6b35bbb01d Calculate SHA256 in mkpkg.sh
2017-03-08 11:07:05 +00:00
benchmarks Fix deprecation warnings in benchmarks 2016-08-31 21:41:11 -07:00
codegen Alphabetize and indent imports and LANGUAGE pragmas 2016-09-30 21:37:52 -07:00
docs Updated CHANGELOG and Documentation. 2017-03-07 12:04:54 +00:00
icons Add the idris icon to the windows build 2016-01-24 22:10:40 +01:00
idrisdoc Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and Chrome 2014-04-17 01:30:02 +02:00
jsrts Use synchronous writes in node runtime. 2016-09-08 01:48:35 +02:00
libs Break line on some long multiline comments. 2017-03-07 12:23:38 +01:00
logos Added SVG logos 2015-06-22 15:32:38 +01:00
main Fixed unstylized things in Idris and stylize.sh script 2017-01-16 13:48:10 +01:00
man Update version numbers 2017-03-05 14:06:07 +00:00
rts Merge pull request #3583 from PoroCYon/master 2017-03-04 21:22:03 +00:00
samples Remove deprecated calls to return 2016-09-29 19:24:38 +02:00
scripts Move script from /bin to /scripts 2016-08-07 20:33:25 +10:00
src Apply Nat optimisation for :exec 2017-03-08 10:02:29 +00:00
test When asked Idris will 'audit' Idris projects. 2017-03-07 12:04:54 +00:00
.gitattributes typo fix in git attributes, adding test results to gitignore 2012-11-26 21:09:59 -05:00
.gitignore Port the test infrastructure to Tasty 2016-07-27 15:01:36 +02:00
.stylish-haskell.yaml Convert tabs to spaces in stylish 2016-10-13 15:42:59 -07:00
.travis.yml Made stack and GHC versions flexible 2017-01-16 10:13:52 +01:00
appveyor.yml Use GHC 7.10.3 instead 2016-08-11 00:39:26 +02:00
CHANGELOG.md Updated CHANGELOG and Documentation. 2017-03-07 12:04:54 +00:00
CITATION.md Added a citation file. 2015-02-26 16:35:38 +00:00
config.mk Fix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64} 2017-01-30 11:28:01 -05:00
CONTRIBUTING.md Removed reference to now deprecated dragon egg process 2016-06-19 23:07:47 +02:00
CONTRIBUTORS Merge pull request #3629 from atacratic/DataZZProofs 2017-03-04 21:59:44 +00:00
custom.mk-alldeps Remove curses dependency 2016-03-03 12:43:50 +01:00
HLint.hs Turn on some LANGUAGE pragmas to make stylish-haskell happy. 2016-10-13 15:42:59 -07:00
idris-tutorial.pdf Updated document versions to 0.11 and updated tutorial pdf. 2016-03-26 09:32:46 +00:00
idris.cabal Relax dependency on Tagsoup. 2017-03-07 17:08:24 +00:00
INSTALL.md Updated build instructions for stack. 2017-03-07 12:06:13 +00:00
LICENSE Fix LICENSE 2011-09-14 18:01:24 +01:00
Makefile Fix typo, make stylize.sh work when a dist directory exists 2016-10-19 14:36:24 -07:00
mkpkg.sh Calculate SHA256 in mkpkg.sh 2017-03-08 11:07:05 +00:00
README.md Add IRC badge for #idris channel (#3433) 2016-09-19 00:10:23 +02:00
RELEASE-CHECKS.md Calculate SHA256 in mkpkg.sh 2017-03-08 11:07:05 +00:00
Setup.hs Fix build system dir inconsistencies. 2016-09-29 09:51:43 +01:00
stack-shell.nix Bumped stack version. 2017-03-07 12:06:13 +00:00
stack.yaml Bumped stack version. 2017-03-07 12:06:13 +00:00
stylize.sh Fix interpreter paths for NixOS by using /usr/bin/env 2017-01-29 12:19:26 +05:30
win-release.sh Implement bundled toolchain feature 2015-04-02 17:21:08 +02:00

README.md

Idris

Build Status Appveyor build Documentation Status Hackage Stackage LTS Stackage Nightly IRC

Idris (http://idris-lang.org/) is a general-purpose functional programming language with dependent types.

Installation Guides.

This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable version of Idris please consider installing the latest version that has been released on Hackage. Installation instructions for various platforms can be found on the Idris Wiki.

More information about building Idris from source has been detailed in the Installation Guide

Code Generation

Idris has support for external code generators. Supplied with the distribution is a C code generator to compile executables, and a JavaScript code generator with support for node.js and browser JavaScript.

At this moment in time there are two external repositories with a Java code generator and an LLVM-based code generator.

More Information

If you would like to find out more information, or ask questions, we currently have a Wiki; a mailing list, and an IRC channel #idris on freenode. To join the IRC channel, point your irc client to chat.freenode.net then /join #idris.

For those further interested in using Idris for projects, the Idris Hackers GitHub organisation is where some interesting projects are being hosted.

For those interested in contributing to Idris directly we kindly ask that prospective developers please consult the Contributing Guide first.