# EECS 662

## Programming Languages

Index
Blog

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 project description. 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.