Scala port of the ideas from the paper on Typed Tagless-Final Interpreters. This doesn't yet cover some of the more advanced concepts such as using HOAS for typed, staged computations.
Scala port of the ideas from the paper on Typed Tagless-Final Interpreters. This doesn't yet cover some of the more advanced concepts such as using HOAS for typed, staged computations.