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:10:13 +00:00
parent d7d97d45ad
commit a0887401a6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -13,7 +13,8 @@ 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
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