Needle is a code generator that translates Knot specifications of programming languages to Coq definitions and boilerplate infrastructure.
http://users.ugent.be/~skeuchel/knot
- GHC >= 7.8 <= 8.2
- Coq 8.4 or Coq 8.5
To install the tool, type
cabal install
To build the examples after installing, type
cd examples
make
Please submit your bugs reports on https://github.com/skeuchel/needle/issues.