GitHub - japiirainen/japiirainen.github.io: My blog

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
agda-posts		agda-posts
css		css
docs		docs
js		js
posts		posts
templates		templates
.envrc		.envrc
.ghci		.ghci
.gitignore		.gitignore
CNAME		CNAME
LICENSE		LICENSE
Main.hs		Main.hs
README.md		README.md
_config.yaml		_config.yaml
blog.agda-lib		blog.agda-lib
favicon.ico		favicon.ico
flake.lock		flake.lock
flake.nix		flake.nix
fourmolu.yaml		fourmolu.yaml
index.html		index.html
justfile		justfile
robots.txt		robots.txt
ssg.cabal		ssg.cabal

Repository files navigation

my beautiful website

development

just

just build

just rebuild

just watch