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