Philip Wadler's implementation
Merge branch 'master' of https://github.com/shayan-najd/MiniFeldspar

Merge branch 'master' of https://github.com/shayan-najd/MiniFeldspar