idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 12:32:00 +03:00
Code Issues Projects Releases Wiki Activity
Map of the Source Code
CodingCellist edited this page 2023-04-25 10:35:32 +02:00

Wiki Page Revisions

3 Commits

Author SHA1 Message Date
CodingCellist
c693ee48f0 Add description of parts of the compiler, and the casetree handling. 2023-04-25 10:35:32 +02:00
CodingCellist
a0cb2073fc Add link to where REPL command parsing happens 2022-10-03 13:23:49 +02:00
Joel Berkeley
cf4e1c14b8 Updated 1 [Language] Map of the Source Code (markdown) 2022-09-22 16:09:00 +01:00