idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-08-17 09:10:33 +03:00
Code Issues Projects Releases Wiki Activity

line length

Browse Source
This commit is contained in:
Joel Berkeley 2023-11-11 16:09:23 +00:00
parent 323f1d0186
commit d7d97d45ad
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -8,10 +8,12 @@ with first class types.
For installation instructions, see [INSTALL.md](INSTALL.md).
The [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful resources, in particular
The [wiki](https://github.com/idris-lang/Idris2/wiki) lists a number of useful
resources, in particular
+ [What's changed since Idris 1](https://idris2.readthedocs.io/en/latest/updates/updates.html)
+ [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources), including [videos](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks) that showcase its capabilities
+ [Resources for learning Idris](https://github.com/idris-lang/Idris2/wiki/Resources),
including [videos](https://github.com/idris-lang/Idris2/wiki/Resources#official-talks) that showcase its capabilities
+ [Editor support](https://github.com/idris-lang/Idris2/wiki/Editor-Support)
## Things still missing