ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-10-26 09:54:23 +03:00
Code Issues Projects Releases Wiki Activity

Mention Idris 2 in README

Browse Source
This commit is contained in:
Niklas Larsson 2020-02-01 01:18:52 +01:00 committed by GitHub
parent fc0acd9f00
commit 10b7fe8bca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -44,3 +44,6 @@ where some interesting projects are being hosted.
For those interested in contributing to Idris directly we kindly ask that For those interested in contributing to Idris directly we kindly ask that
prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first. prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.
[Idris 2](https://github.com/edwinb/Idris2) is an early preview of the next generation
of Idris, implemented in Idris.