Giters

coreyoconnor / simply-typed-object-algebra

Using object algebras / final tagless to implement a simply typed language.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

simply-typed-object-algebra

Using object algebras / final tagless to implement a simply typed language.

About

Using object algebras / final tagless to implement a simply typed language.

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Scala 100.0%