https://doisinkidney.com/about.html https://doisinkidney.com/contact.html https://doisinkidney.com/ https://doisinkidney.com/personal/ https://doisinkidney.com/personal/site.html https://doisinkidney.com/publications.html https://doisinkidney.com/posts/2026-04-28-poly-trie.html 2026-04-28 https://doisinkidney.com/posts/2026-03-03-monus-heaps.html 2026-03-03 https://doisinkidney.com/posts/2025-11-18-hyperfunctions.html 2025-11-18 https://doisinkidney.com/posts/2024-11-08-formalising-graphs-coinduction.html 2024-11-08 https://doisinkidney.com/posts/2023-11-07-algebraic-free-monads.html 2023-11-07 https://doisinkidney.com/posts/2022-10-17-lazy-group-on.html 2022-10-17 https://doisinkidney.com/posts/2022-05-03-depth-comonads.html 2022-05-03 https://doisinkidney.com/posts/2021-08-29-weighted-search-package.html 2021-08-29 https://doisinkidney.com/posts/2021-06-21-icfp-paper.html 2021-06-21 https://doisinkidney.com/posts/2021-03-14-hyperfunctions.html 2021-03-14 https://doisinkidney.com/posts/2021-01-04-masters-thesis.html 2021-01-04 https://doisinkidney.com/posts/2020-12-27-cayley-trees.html 2020-12-27 https://doisinkidney.com/posts/2020-12-14-enumerating-trees.html 2020-12-14 https://doisinkidney.com/posts/2020-11-23-applicative-queue.html 2020-11-23 https://doisinkidney.com/posts/2020-11-18-agda-github-action.html 2020-11-18 https://doisinkidney.com/posts/2020-10-17-ski.html 2020-10-17 https://doisinkidney.com/posts/2020-08-22-some-more-list-algorithms.html 2020-08-22 https://doisinkidney.com/posts/2020-05-19-purely-functional-data-structures-slides.html 2020-05-19 https://doisinkidney.com/posts/2020-05-02-more-random-access-lists.html 2020-05-02 https://doisinkidney.com/posts/2020-02-20-final-bft.html 2020-02-20 https://doisinkidney.com/posts/2020-02-15-taba.html 2020-02-15 https://doisinkidney.com/posts/2020-01-29-terminating-tricky-traversals.html 2020-01-29 https://doisinkidney.com/posts/2019-12-14-stern-brocot.html 2019-12-14 https://doisinkidney.com/posts/2019-11-15-small-proof-fin-inj.html 2019-11-15 https://doisinkidney.com/posts/2019-11-02-how-to-binary-random-access-list.html 2019-11-02 https://doisinkidney.com/posts/2019-10-02-what-is-good-about-haskell.html 2019-10-02 https://doisinkidney.com/posts/2019-07-14-bsc-thesis.html 2019-07-14 https://doisinkidney.com/posts/2019-06-04-solving-puzzles-without-your-brain.html 2019-06-04 https://doisinkidney.com/posts/2019-05-28-linear-phases.html 2019-05-28 https://doisinkidney.com/posts/2019-05-14-corecursive-implicit-queues.html 2019-05-14 https://doisinkidney.com/posts/2019-05-11-concatenative-free.html 2019-05-11 https://doisinkidney.com/posts/2019-05-08-list-manipulation-tricks.html 2019-05-08 https://doisinkidney.com/posts/2019-04-20-ListSyntax.html 2019-04-20 https://doisinkidney.com/posts/2019-04-17-cubical-probability.html 2019-04-17 https://doisinkidney.com/posts/2019-03-24-permutations-by-sorting.html 2019-03-24 https://doisinkidney.com/posts/2019-03-21-binary-logic-search.html 2019-03-21 https://doisinkidney.com/posts/2019-03-14-more-agda-tips.html 2019-03-14 https://doisinkidney.com/posts/2019-02-25-agda-fingertrees.html 2019-02-25 https://doisinkidney.com/posts/2019-01-25-agda-ring-solver.html 2019-01-25 https://doisinkidney.com/posts/2019-01-15-binomial-urn.html 2019-01-15 https://doisinkidney.com/posts/2018-12-30-drawing-trees-lhs.html 2018-12-30 https://doisinkidney.com/posts/2018-12-29-nary-uncurry-lhs.html 2018-12-29 https://doisinkidney.com/posts/2018-12-21-balancing-scans.html 2018-12-21 https://doisinkidney.com/posts/2018-12-18-traversing-graphs.html 2018-12-18 https://doisinkidney.com/posts/2018-12-14-primes-in-agda.html 2018-12-14 https://doisinkidney.com/posts/2018-11-20-fast-verified-structures.html 2018-11-20 https://doisinkidney.com/posts/2018-11-10-a-very-simple-prime-sieve.html 2018-11-10 https://doisinkidney.com/posts/2018-10-16-total-combinations.html 2018-10-16 https://doisinkidney.com/posts/2018-09-20-agda-tips.html 2018-09-20 https://doisinkidney.com/posts/2018-07-30-verified-avl.html 2018-07-30 https://doisinkidney.com/posts/2018-07-17-probability-presentation.html 2018-07-17 https://doisinkidney.com/posts/2018-06-30-probability-5-ways.html 2018-06-30 https://doisinkidney.com/posts/2018-06-23-scheduling-effects.html 2018-06-23 https://doisinkidney.com/posts/2018-06-03-rotations-lhs.html 2018-06-03 https://doisinkidney.com/posts/2018-06-03-breadth-first-traversals-in-too-much-detail.html 2018-06-03 https://doisinkidney.com/posts/2018-06-01-rose-trees-breadth-first-traversing.html 2018-06-01 https://doisinkidney.com/posts/2018-05-30-swapping-lhs.html 2018-05-30 https://doisinkidney.com/posts/2018-05-06-sorting-small.html 2018-05-06 https://doisinkidney.com/posts/2018-05-05-induction.html 2018-05-05 https://doisinkidney.com/posts/2018-04-12-pattern-synonyms.html 2018-04-12 https://doisinkidney.com/posts/2018-03-21-strictify-lhs.html 2018-03-21 https://doisinkidney.com/posts/2018-03-20-countdown.html 2018-03-20 https://doisinkidney.com/posts/2018-03-19-convolutions-lhs.html 2018-03-19 https://doisinkidney.com/posts/2018-03-17-rose-trees-breadth-first.html 2018-03-17 https://doisinkidney.com/posts/2018-03-15-one-pass-choose-lhs.html 2018-03-15 https://doisinkidney.com/posts/2018-02-17-single-pass-huffman.html 2018-02-17 https://doisinkidney.com/posts/2018-02-11-monadic-list.functions.html 2018-02-11 https://doisinkidney.com/posts/2018-01-07-groupBy.html 2018-01-07 https://doisinkidney.com/posts/2017-12-14-unfoldl-lhs.html 2017-12-14 https://doisinkidney.com/posts/2017-10-30-balancing-folds.html 2017-10-30 https://doisinkidney.com/posts/2017-10-13-convolutions-and-semirings.html 2017-10-13 https://doisinkidney.com/posts/2017-09-25-applicative-arithmetic.html 2017-09-25 https://doisinkidney.com/posts/2017-04-23-verifying-data-structures-in-haskell-lhs.html 2017-04-23 https://doisinkidney.com/posts/2017-04-01-unparsing-lhs.html 2017-04-01 https://doisinkidney.com/posts/2017-03-30-fun-with-recursion-schemes.html 2017-03-30 https://doisinkidney.com/posts/2017-03-08-constrained-applicatives.html 2017-03-08 https://doisinkidney.com/posts/2016-11-17-semirings-lhs.html 2016-11-17 https://doisinkidney.com/posts/2016-09-30-prob-trees-lhs.html 2016-09-30 https://doisinkidney.com/posts/2016-09-27-odds-lhs.html 2016-09-27 https://doisinkidney.com/posts/2016-09-26-revisiting-trie-lhs.html 2016-09-26 https://doisinkidney.com/posts/2016-06-16-lenses-are-static-selectors.html 2016-06-16 https://doisinkidney.com/posts/2016-04-17-folding-two-at-once.html 2016-04-17 https://doisinkidney.com/posts/2015-10-20-2048.html 2015-10-20 https://doisinkidney.com/posts/2015-10-06-haskell-trie-lhs.html 2015-10-06 https://doisinkidney.com/posts/2015-09-06-dependent-types.html 2015-09-06 https://doisinkidney.com/posts/2015-08-24-generic-deque.html 2015-08-24 https://doisinkidney.com/posts/2015-08-11-swift-trie.html 2015-08-11 https://doisinkidney.com/posts/2015-08-03-monty-hall.html 2015-08-03 https://doisinkidney.com/posts/2015-07-29-swift-queues.html 2015-07-29 https://doisinkidney.com/posts/2015-07-17-swift-protocols-a-strategy.html 2015-07-17 https://doisinkidney.com/pubs/2026-01-14-hyperfunctions.html 2026-01-14 https://doisinkidney.com/pubs/2025-12-20-agda-stdlib.html 2025-12-20 https://doisinkidney.com/pubs/2025-01-19-formalising-graphs-coinduction.html 2025-01-19 https://doisinkidney.com/pubs/2024-01-17-algebraic-free-monads.html 2024-01-17 https://doisinkidney.com/pubs/2023-08-31-phases-in-software-architecture.html 2023-08-31 https://doisinkidney.com/pubs/2022-09-22-breadth-first-traversal-via-staging.html 2022-09-22 https://doisinkidney.com/pubs/2021-08-19-algebras-for-weighted-search.html 2021-08-19 https://doisinkidney.com/pubs/2020-09-01-finiteness-in-cubical-type-theory.html 2020-09-01 https://doisinkidney.com/pubs/2019-04-08-polynomial-equalities-agda.html 2019-04-08 https://doisinkidney.com/personal/2026-06-11-ttrpgs.html 2026-06-11