Krill

Krill is a concurrent functional programming language based on linear sequent calculus.

Prerequisites

You need recent versions of the following programs/libraries:

• GHC: http://www.haskell.org/ghc/
• cabal-install: http://www.haskell.org/cabal/
• Alex: http://www.haskell.org/alex/
• Happy: http://www.haskell.org/happy/

Alternatively, you can install the Haskell Platform to get all these dependencies.

Installation

Run cabal install or make.

Usage

krill --help