1
1
mirror of https://github.com/anoma/juvix.git synced 2024-11-27 12:42:36 +03:00

Added holes for the parser.

This commit is contained in:
Jonathan Prieto-Cubides 2021-11-22 16:23:26 +01:00
parent 02e0d19492
commit 580181210b
2 changed files with 281 additions and 842 deletions

View File

@ -30,6 +30,7 @@ library
MiniJuvix.Utils.Pretty
MiniJuvix.Utils.Parser
MiniJuvix.Parsing.Language
MiniJuvix.Parsing.Parser
MiniJuvix.Parsing.Error
MiniJuvix.Parsing.Location
MiniJuvix.Desugaring.Error

File diff suppressed because it is too large Load Diff