generic-k
This library provides generic functions that lower and raise Haskell values into and out of the K Semantic Framework.
Convert Haskell values into K terms and vice versa
This library provides generic functions that lower and raise Haskell values into and out of the K Semantic Framework.
Convert Haskell values into K terms and vice versa
MIT License