Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Browse files

README updated

  • Loading branch information...
1 parent fefad80 commit 02bfd0e6e24f24388dfc32647d504a14ba974c33 @rhz committed
Showing with 18 additions and 0 deletions.
  1. +18 −0
@@ -0,0 +1,18 @@
+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*.
+## MinimalGlueings
+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.

0 comments on commit 02bfd0e

Please sign in to comment.
Something went wrong with that request. Please try again.