#λUCk: Purely Functional EDSL for Universal Composability

— Haddock

To ender 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.