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

soas-0.2.0: 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