Name		Name	Last commit message	Last commit date
Latest commit History 44 Commits
.github/workflows		.github/workflows
app		app
assets		assets
scripts		scripts
site		site
.envrc		.envrc
.gitignore		.gitignore
.gitmodules		.gitmodules
PAPERS.md		PAPERS.md
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
hie.yaml		hie.yaml
jonathanlorimerdev.cabal		jonathanlorimerdev.cabal
mprocs.yaml		mprocs.yaml

Repository files navigation

jonathanlorimer.dev

Development

nix develop .

Build site

nix run