mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-09-11 16:05:51 +03:00
Add parser for high level syntax
Almost entirely unchanged from Blodwen
This commit is contained in:
parent
a3bf2e3aa9
commit
67cbf05b4c
1371
src/Idris/Parser.idr
Normal file
1371
src/Idris/Parser.idr
Normal file
File diff suppressed because it is too large
Load Diff
@ -31,6 +31,7 @@ modules =
|
||||
Data.NameMap,
|
||||
Data.StringMap,
|
||||
|
||||
Idris.Parser,
|
||||
Idris.Syntax,
|
||||
|
||||
Parser.Lexer,
|
||||
|
Loading…
Reference in New Issue
Block a user