Cryptocurrency made in agda
It is possible to build the project with nix flakes without needing to clone the repository with this command:
nix build github:guilhermehas/crypto-agdaTo 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='Create docker image
docker build --tag crypto-agda .Create the container
docker run --name crypto crypto-agdaCopy the pdf
docker cp crypto:/crypto/thesis.pdf .Copy tex files
docker cp crypto:/crypto/tex .
mv tex/* docs
rm -rf texMIT