edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-22 12:21:30 +03:00
Code Issues Projects Releases Wiki Activity
bb6d0e07a7
Idris2-boot/src/Text
History
Edwin Brady b577532f57 Save time lexing if we're only reading headers
2019-07-01 00:21:35 +01:00
..
Lexer Save time lexing if we're only reading headers 2019-07-01 00:21:35 +01:00
Parser Initial structure 2019-03-07 23:04:55 +00:00
Lexer.idr Initial structure 2019-03-07 23:04:55 +00:00
Parser.idr Initial structure 2019-03-07 23:04:55 +00:00
Quantity.idr Initial structure 2019-03-07 23:04:55 +00:00
Token.idr Initial structure 2019-03-07 23:04:55 +00:00