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.
davidlazar / language-k Goto Github PK
View Code? Open in Web Editor NEWTypes and parsers for the K semantic framework
License: MIT License