Mention Idris 2 in README
commit10b7fe8bca281ad428ebf0c183edde912a4d1705
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 1 Feb 2020, 01:18 (7 years ago)
parentfc0acd9
README.md+3
@@ -44,3 +44,6 @@ where some interesting projects are being hosted.
4444
4545For those interested in contributing to Idris directly we kindly ask that
4646prospective developers please consult the [Contributing Guide](CONTRIBUTING.md) first.
47+
48+[Idris 2](https://github.com/edwinb/Idris2) is an early preview of the next generation
49+of Idris, implemented in Idris.