Skip to content

JohnJacobsonIII/contracts

 
 

Repository files navigation

Haskell Contracts Checker

Installation instructions

First, you need to pull halo, the Haskell to Logic Translator:

git submodule update --init

Then, in the main directory, run

cabal install

This installs the hcc executable.

Running the testsuite

The testsuite is in the testsuite directory, with an own readme.

About

Haskell Contracts Checker

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Haskell 98.9%
  • Shell 1.1%