Overview
In this assignment you will implement an interpreter for MinHs, a small functional
language similar to ML and Haskell. It is fully typed, with types specified by the
programmer. This is a strict language (unlike Haskell), and is based on the language
MinML used in Harper [4]. The assignment consists of a compulsory component, and
some bonus exercises.
Task 1 (100%)
Implement an interpreter for the MinHs language presented in the lectures, using
an environment semantics.