Overview

About

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.

Contributing

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.