FromParser
|
add postulate, #[compile-scheme], #[main]
|
2023-11-01 12:56:27 +01:00 |
FromParser.idr
|
add postulate, #[compile-scheme], #[main]
|
2023-11-01 12:56:27 +01:00 |
Lexer.idr
|
add postulate, #[compile-scheme], #[main]
|
2023-11-01 12:56:27 +01:00 |
LoadFile.idr
|
LoadFile does the parsing
|
2023-10-22 19:18:38 +02:00 |
Parser.idr
|
add postulate, #[compile-scheme], #[main]
|
2023-11-01 12:56:27 +01:00 |
Syntax.idr
|
add postulate, #[compile-scheme], #[main]
|
2023-11-01 12:56:27 +01:00 |