/thalesmg.github.io

Primary LanguageCSS

building with nix

nix develop
cd site
cabal new-run site clean
cabal new-run site watch

building with plain cabal

Works with GHCUP, GHC 8.10.7, Cabal 3.6.2.0.

cd site
# python -m venv venv
# . venv/bin/activate
# eval $(opam env)
cabal update
cabal run site clean
cabal run site watch

Dependencies:

pip install alectryon
pacman -S opam
opam install coq-serapi