language-k
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.