ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-07-14 18:50:29 +03:00
Code Issues Projects Releases Wiki Activity
A Dependently Typed Functional Programming Language
10,023 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%
master
Go to file
Niklas Larsson c6c928f76c
Merge pull request #4827 from ilyakooo0/lts-15.3 
Migrated to lts-15.3
2020-03-20 13:36:59 +01:00
.github Added issue template 2017-08-05 18:45:41 +02:00
benchmarks use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
codegen Merge branch 'master' into exportiface_js 2017-09-18 12:14:17 +02:00
docs Update introduction.rst 2020-03-17 15:09:45 +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 Simplify isomorphism proofs 2020-03-06 16:07:00 -06: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 use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
rts Fix fileModifiedTime on 32 bit systems 2020-03-06 09:13:00 +00: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 Merge pull request #4827 from ilyakooo0/lts-15.3 2020-03-20 13:36:59 +01:00
test Disable travis for GHC 8.8 (libffi still broken) 2020-01-25 18:48:50 +01: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 Removed broken snapshots 2020-03-19 00:23:31 +03:00
appveyor.yml Disable travis for GHC 8.8 (libffi still broken) 2020-01-25 18:48:50 +01:00
azure-pipelines.yml use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
CHANGELOG.md Disable travis for GHC 8.8 (libffi still broken) 2020-01-25 18:48:50 +01:00
CITATION.md use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +01:00
config.mk Strip unreachable code/data 2018-05-01 23:17:54 +02:00
CONTRIBUTING.md use HTTPS URL instead of HTTP URL when possible 2019-12-19 14:26:41 +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 Minor fix to latex sphinx build configuration. 2020-03-10 14:17:53 +00:00
idris.cabal Fixed typo 2020-03-18 21:52:44 +03:00
INSTALL.md Added note 2020-03-19 00:28:19 +03:00
LICENSE Fix LICENSE 2011-09-14 18:01:24 +01:00
Makefile Disable travis for GHC 8.8 (libffi still broken) 2020-01-25 18:48:50 +01:00
mkpkg.sh Calculate SHA256 in mkpkg.sh 2017-03-08 11:07:05 +00:00
README.md Mention Idris 2 in README 2020-02-01 01:18:52 +01:00
RELEASE-CHECKS.md Update version numbers 2017-04-01 09:13:25 +01:00
Setup.hs Rename expected, input and run 2020-01-25 01:44:54 +01:00
stack-11.22.yaml Added stacks 2020-03-18 21:24:08 +03:00
stack-12.26.yaml Added stacks 2020-03-18 21:24:08 +03:00
stack-15.3.yaml Added stacks 2020-03-18 21:24:08 +03:00
stack-15.4.yaml Added stacks 2020-03-18 21:24:08 +03:00
stack-shell.nix Add perl, nodejs to stack-shell.nix 2018-07-30 10:02:56 +08:00
stack.yaml Added stacks 2020-03-18 21:24:08 +03: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 (https://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.

Idris 2 is an early preview of the next generation of Idris, implemented in Idris.