It's the haskell framework that allows doing type safe meta programming in Haskell, we can write meta programs that are evaluated at compile time that produce Haskell programs as a reslt.
Ref: https://markkarpov.com/tutorial/th.html
hs-concepts
It's the haskell framework that allows doing type safe meta programming in Haskell, we can write meta programs that are evaluated at compile time that produce Haskell programs as a reslt.
Ref: https://markkarpov.com/tutorial/th.html
hs-concepts