idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-03 00:36:37 +03:00
Code Issues Projects Releases Wiki Activity
731a416043
Idris2/docs/source/reference
History
Fabián Heredia Montiel 731a416043 Split Package Specific Lexer/Rules from Lexer/{Common,Source} and Refactor Idris/Package 
Co-authored-by: Matus Tejiscak <ziman@functor.sk>
2020-05-24 16:01:17 -05:00
..
envvars.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
index.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
literate.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
packages.rst Copy more files over from Idris2 2020-05-20 11:23:04 +01:00
records.rst Split Package Specific Lexer/Rules from Lexer/{Common,Source} and Refactor Idris/Package 2020-05-24 16:01:17 -05:00