The goal of this project is to express the protocols and functionalities of Universal Composability in an actual programming language, where programs can be written unambiguously, take advantage of Haskell's expressive types and modern programming tools/techniques. Another advantage of having a programming language is automatic extraction of a prototype for any protocol implemented using ΛUC.
To enter development enviornment, run nix-shell or nix develop in this directory
(this uses Nix).
From there, you can run cabal build or cabal repl to inspect the code.