ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-17 11:47:20 +03:00
Code Issues Projects Releases Wiki Activity
A Dependently Typed Functional Programming Language
9,791 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%
654c43178b
Go to file
Martin Baker 654c43178b rename file
2019-05-18 09:17:02 +01:00
.github Added issue template 2017-08-05 18:45:41 +02:00
benchmarks Read idris executable from environment variable 2018-03-23 13:32:12 +01:00
codegen Merge branch 'master' into exportiface_js 2017-09-18 12:14:17 +02:00
docs rename file 2019-05-18 09:17:02 +01: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 Update Runtime-node.js 2019-03-21 14:58:15 +01:00
libs Add Clock/clockTime in System 2019-04-25 23:18:42 +01:00
logos Added SVG logos 2015-06-22 15:32:38 +01:00
main Clean up unused imports (#4065) 2017-09-16 19:28:47 +02:00
man Update man page. 2019-04-05 11:11:24 +02:00
rts Add Clock/clockTime in System 2019-04-25 23:18:42 +01:00
samples Remove long-deprecated abstract 2017-12-04 13:31:58 -05:00
scripts Add OpenBSD support to shebang script 2017-08-03 08:08:14 -07:00
src Mangle unicode identifiers in C backend 2019-05-07 18:38:46 +02:00
test Update test010. 2019-04-05 11:38:28 +02:00
.gitattributes typo fix in git attributes, adding test results to gitignore 2012-11-26 21:09:59 -05:00
.gitignore Add cabal new-build's build dir to ignore 2017-08-06 15:03:34 +02:00
.hlint.yaml Use new HLint config file. 2018-03-31 14:24:26 +02:00
.stylish-haskell.yaml Convert tabs to spaces in stylish 2016-10-13 15:42:59 -07:00
.travis.yml Disable travis job that always times out 2018-09-16 17:28:37 +02:00
appveyor.yml Fix appveyor 2019-03-02 00:31:15 +01:00
azure-pipelines.yml Implement Azure Pipelines CI 2018-09-15 19:15:45 +02:00
CHANGELOG.md Rename to --optimise-nat-like-types. 2019-04-05 11:09:41 +02:00
CITATION.md Added a citation file. 2015-02-26 16:35:38 +00:00
config.mk Strip unreachable code/data 2018-05-01 23:17:54 +02:00
CONTRIBUTING.md Fix git clone typo in CONTRIBUTING.md (#4568) 2018-11-06 11:59:52 +01:00
CONTRIBUTORS add to proof documentation 2019-02-23 08:32:21 +00:00
custom.mk-alldeps Remove curses dependency 2016-03-03 12:43:50 +01:00
idris-tutorial.pdf Let's ensure the PDF is updated as well. 2018-05-29 12:38:01 +01:00
idris.cabal Relax Cabal and zip-archive bounds 2019-01-11 21:42:58 +01:00
INSTALL.md Warn stack install users to keep .stack_work around 2018-05-22 09:52:46 -07: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 Fix hackage widget 2017-07-02 16:26:32 +02:00
RELEASE-CHECKS.md Update version numbers 2017-04-01 09:13:25 +01:00
Setup.hs Allow building on GHC 8.4.1 2018-03-30 10:44:46 -04:00
stack-shell.nix Add perl, nodejs to stack-shell.nix 2018-07-30 10:02:56 +08:00
stack.yaml stack.yaml: switch to lts-13.0 (ghc 8.6.3) 2019-02-12 11:58:18 +00:00
stylize.sh Abort if stylish-haskell is missing. 2017-04-04 09:40:16 +01:00
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.

More information about code generators can be found on the wiki.

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.