Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Thermodynamic Kappa (a.k.a energy-based Kappa)

tree: c8d51f7bc2

Fetching latest commit…

Cannot retrieve the latest commit at this time


Library for compiling thermodynamical Kappa into Kappa.

Well, at least that's the goal. For now, what I have is a small program to compute minimal glueings.


Compile: ghc --make -O MinimalGlueings

To compile it, you will need GHC (Glasgow Haskell Compiler) and the vector, parsec and indents libraries.

Usage: ./MinimalGlueings inputfile.ka

The input file must contain two Kappa expressions separated by a semicolon.

The program will generate one DOT file with all minimal glueings in textual representation plus one DOT file for each minimal glueing detailing agent mappings in a graphical way.

Something went wrong with that request. Please try again.