ref: staging dhall-nim/src/dhall/parse.nim -rw-r--r-- 28.5 KiB
Add main proc to parser
big messy commit
normalization::success/unit passes
return of appArg
on to type-inference
normalization works for the natural builtins
Return of appArgs
Rewrite: parsing works
type-inference passes unit tests again
Remove deprecated Optional builtins
Merge recordType and recordLiteral members of Term
parser: text optimization
parser: fix assert keywords

the "as" keyword must be parsed after "assert".
WiP! norm: break the loop
New "with" term type
WiP! normalization