generic-k /

Filename Size Date modified Message
165 B
1.1 KB
475 B
46 B
941 B


This library provides generic functions that lower and raise Haskell values into and out of the K Semantic Framework.


This project is available on GitHub and Bitbucket. You may contribute changes using either.

Please report bugs and feature requests using the GitHub issue tracker.