1. David Lazar
  2. haskell-semantics

Commits

David Lazar  committed 8554c00

Add a README.

  • Participants
  • Parent commits 8279484
  • Branches default

Comments (0)

Files changed (1)

File README.md

View file
+# About
+
+The goal of this project is to give a complete executable semantics to the [Haskell programming language](http://haskell.org) using the [K Semantic Framework](http://k-framework.org).
+
+# Contributing
+
+This project is available on [GitHub](https://github.com/davidlazar/haskell-semantics) and [Bitbucket](https://bitbucket.org/davidlazar/haskell-semantics/). You may contribute changes using either.
+
+Please report bugs and feature requests using the [GitHub issue tracker](https://github.com/davidlazar/haskell-semantics/issues).