Greatings from Annapolis!
Two quick updates on the project. I’ve updated the recursive test
case I provided to provide a proper type for
ie. It should be
Nat->Nat rather than just
Nat. It executes fine as is, but it is
not properly typed.
I’ve added the concrete syntax for
bind to the langauge in the
bind is in the abstract syntax and parser
provided, but I forgot to add it to the syntax description. This
should not have caused anyone difficulty, but could prove confusing if
you’re reading carefully.