https://vatthauer.xyz/ 2024-04-06T00:00:00+00:00 weekly https://vatthauer.xyz/tag/category-theory/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/tag/haskell/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/lambda/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/tag/nix/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/nixos/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/pcf/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/tag/programming-languages/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/resolution/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/projects/algprog/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/tags/ 2024-04-05T00:00:00+00:00 weekly https://vatthauer.xyz/tag/agda/ 2024-03-21T00:00:00+00:00 weekly https://vatthauer.xyz/tag/bachelor-thesis/ 2024-03-21T00:00:00+00:00 weekly https://vatthauer.xyz/projects/ba/ 2024-03-21T00:00:00+00:00 weekly https://vatthauer.xyz/tag/partiality/ 2024-03-21T00:00:00+00:00 weekly https://vatthauer.xyz/categories/ weekly https://vatthauer.xyz/publication_types/ weekly