language-k /

Filename Size Date modified Message
1.1 KB
611 B
527 B


The language-k library provides Haskell data types and parsers for working with terms from the K semantic framework. This library was originally developed in the K 2.5 SVN repository. All future changes to language-k will be made via this repository.


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.