- built with ghc 9.4.7
cabal
(for hakyll)latexmk
(for resume)agda
(for literate agda posts)
make posts
- Generate processed Agda posts
make files/resume.pdf
- Generate resume / cv
make drafts.html
- Generate list of drafts
make site
- Build whole site
make watch
- Run site locally (
localhost:8000
)
make deploy
- Pushes to
site
(deploy branch)
- Hosted on Github Pages
- I usually use
stack
for Haskell projects, I don't remember why I am usingcabal
this time instead.