Guilherme Blog

Run the website locally

To run the website locally, just run this command:

nix run github:guilhermehas/guilhermehas.github.io.#"guilherme-blog:exe:site" watch

And go to http://127.0.0.1:8000

Just run:

nix build github:guilhermehas/guilhermehas.github.io

Name		Name	Last commit message	Last commit date
Latest commit History 113 Commits
.github/workflows		.github/workflows
.vscode		.vscode
agda-posts		agda-posts
css		css
images		images
templates		templates
.gitignore		.gitignore
README.md		README.md
cabal.nix		cabal.nix
default.nix		default.nix
devShell.nix		devShell.nix
flake.lock		flake.lock
flake.nix		flake.nix
guilherme-blog.agda-lib		guilherme-blog.agda-lib
guilherme-blog.cabal		guilherme-blog.cabal
index.html		index.html
site.hs		site.hs