soas-0.3.2: Second-Order Abstract Syntax implemented via Free Foil (a version of SOAS).

soas-0.3.2: Second-Order Abstract Syntax implemented via Free Foil (a version of SOAS).

Please see the README on GitHub at https://github.com/fizruk/free-foil#readme

Modules