Using object algebras / final tagless to implement a simply typed language.
coreyoconnor/simply-typed-object-algebra
Using object algebras / final tagless to implement a simply typed language.
ScalaBSD-3-Clause
Using object algebras / final tagless to implement a simply typed language.
ScalaBSD-3-Clause