A dependently typed actor framework for haskell.
nix build
nix build -f thesis
To include the current date and hashes for the current HEAD of master run:
nix build -f thesis \
--arg date "$(date +\"%Y-%m-%d\")" \
--argstr commit "$(curl https://api.github.com/repos/chisui/dakka/git/refs/heads/master)" \
--argstr sha256 "$(nix-prefetch-url --unpack https://github.com/chisui/dakka/archive/master.tar.gz)"
Check out a build pdf version of the current master version here.
nix build -f presentation
Checkout a build version of the current master version here.