Skip to content

skeuchel/needle

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.