crypto-agda

Link for download

PDF in GitHub Pages

Slides in GitHub Pages

Description

Cryptocurrency made in agda

Build with nix

It is possible to build the project with nix flakes without needing to clone the repository with this command:

nix build github:guilhermehas/crypto-agda

To build using binary cache:

nix build github:guilhermehas/crypto-agda --substituters 'https://cache.nixos.org https://guilherme.cachix.org' --trusted-public-keys 'guilherme.cachix.org-1:gCM9KYeDP7G+CaCHc8mWETo41u0XBac56D2OrTtJ2ZQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY='

Build with docker

Create docker image

docker build --tag crypto-agda .

Create the container

docker run --name crypto crypto-agda

Copy the pdf

docker cp crypto:/crypto/thesis.pdf .

Copy tex files

docker cp crypto:/crypto/tex .
mv tex/* docs
rm -rf tex

License

MIT