Needle

Needle is a code generator that translates Knot specifications of programming languages to Coq definitions and boilerplate infrastructure.

http://users.ugent.be/~skeuchel/knot

Requirements

• GHC >= 7.8 <= 8.2
• Coq 8.4 or Coq 8.5

Installation

To install the tool, type

    cabal install

To build the examples after installing, type

    cd examples
    make

Bug Reports

Please submit your bugs reports on https://github.com/skeuchel/needle/issues.