Overview

About

The goal of this project is to give a complete executable semantics to the Haskell programming language using the K Semantic Framework.

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.