idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 18:23:23 +03:00
Code Issues Projects Releases Wiki Activity

Updated _Sidebar (markdown)

Joel Berkeley 2022-09-21 20:37:09 +01:00
parent 45190c694f
commit e727a6c8cd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_Sidebar.md

@ -2,7 +2,7 @@
- **Using Idris**
- [Resources](2-[Community]-Resources)
- [Editor Support](1-[Language]-Editor-support)
- [Libraries](1-[Language]-Libraries)
- [Third-party Libraries](1-[Language]-Libraries)
- [External Backends](1-[Language]-External-backends)
- **Working on Idris**
- [Getting Started](2-[Community]-Getting-started-with-Compiler-development)