文件列表:

.hlint.yaml (1832, 2023-12-30)
.stylish-haskell.yaml (5483, 2023-12-30)
.travis.yml (6282, 2023-12-30)
CHANGELOG.md (56351, 2023-12-30)
CITATION.md (809, 2023-12-30)
CONTRIBUTING.md (7986, 2023-12-30)
CONTRIBUTORS (3337, 2023-12-30)
INSTALL.md (5734, 2023-12-30)
LICENSE (1602, 2023-12-30)
Makefile (1935, 2023-12-30)
RELEASE-CHECKS.md (887, 2023-12-30)
Setup.hs (12815, 2023-12-30)
appveyor.yml (771, 2023-12-30)
azure-pipelines.yml (5000, 2023-12-30)
benchmarks/ (0, 2023-12-30)
benchmarks/ALL (84, 2023-12-30)
benchmarks/build.pl (385, 2023-12-30)
benchmarks/fasta/ (0, 2023-12-30)
benchmarks/fasta/fasta.idr (3042, 2023-12-30)
benchmarks/fasta/fasta.ipkg (64, 2023-12-30)
benchmarks/pidigits/ (0, 2023-12-30)
benchmarks/pidigits/pidigits.idr (1588, 2023-12-30)
benchmarks/pidigits/pidigits.ipkg (76, 2023-12-30)
benchmarks/quasigroups/ (0, 2023-12-30)
benchmarks/quasigroups/Main.idr (749, 2023-12-30)
benchmarks/quasigroups/Parser.idr (2622, 2023-12-30)
benchmarks/quasigroups/Solver.idr (7351, 2023-12-30)
benchmarks/quasigroups/board (288, 2023-12-30)
benchmarks/quasigroups/qgsolve.ipkg (83, 2023-12-30)
benchmarks/run.pl (503, 2023-12-30)
benchmarks/trivial/ (0, 2023-12-30)
benchmarks/trivial/sortvec.idr (660, 2023-12-30)
benchmarks/trivial/sortvec.ipkg (92, 2023-12-30)
codegen/ (0, 2023-12-30)
... ...

# Idris 1 [](https://travis-ci.org/idris-lang/Idris-dev) [](https://ci.appveyor.com/project/idrislang/idris-dev) [](https://readthedocs.org/projects/idris/?badge=latest) [](https://hackage.haskell.org/package/idris) [](https://stackage.org/lts/package/idris) [](https://stackage.org/nightly/package/idris) [](https://www.irccloud.com/invite?channel=%23idris&hostname=irc.freenode.net&port=6697&ssl=1) Idris (https://idris-lang.org/) is a general-purpose functional programming language with dependent types. ## Installation 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](https://github.com/idris-lang/Idris-dev/wiki/Installation-Instructions). More information about building Idris from source has been detailed in the [Installation Guide](INSTALL.md) ## 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 [here](https://idris.readthedocs.io/en/latest/reference/codegen.html). ## Status This is Idris 1, implemented in Haskell. Idris 1 is not actively worked on anymore. [Idris 2](https://github.com/idris-lang/Idris2) is the next generation of Idris, and where primary development happens. ## More Information If you would like to find out more information, or ask questions, we currently have a [Wiki](https://github.com/idris-lang/Idris-dev/wiki); a [mailing list](https://groups.google.com/forum/#!forum/idris-lang), and an `IRC` channel `#idris` on [libera](https://libera.chat/). To join the IRC channel, point your irc client to `irc.libera.chat` then `/join #idris`. For those further interested in using Idris for projects, the [Idris Hackers](https://github.com/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](CONTRIBUTING.md) first.

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：