idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 21:52:21 +03:00
Code Issues Projects Releases Wiki Activity

Updated _Sidebar (markdown)

Joel Berkeley 2022-09-21 19:35:34 +01:00
parent c19039c194
commit 085bbfe783
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

@ -6,7 +6,7 @@
- [External Backends](1-[Language]-External-backends) - [External Backends](1-[Language]-External-backends)
- **Working on Idris** - **Working on Idris**
- [Getting Started](2-[Community]-Getting-started-with-Compiler-development) - [Getting Started](2-[Community]-Getting-started-with-Compiler-development)
- [What Contributions are Wanted](2-[Community]-Contributions-wanted) - [What Contributions are Needed](2-[Community]-Contributions-wanted)
- [Map of the Source Code](1-[Language]-Map-of-the-Source-Code) - [Map of the Source Code](1-[Language]-Map-of-the-Source-Code)
- [FAQ](1-[Language]-Working-with-Idris-FAQ) - [FAQ](1-[Language]-Working-with-Idris-FAQ)
- **Proposed changes** - **Proposed changes**