Donnacha Oisín Kidney's Blog doisinkidney.com

Drawing Trees

doisinkidney.com·385w

liftAN

doisinkidney.com·386w

Balancing Scans

doisinkidney.com·387w

Pure and Lazy Breadth-First Traversals of Graphs in Haskell

doisinkidney.com·387w

Prime Sieves in Agda

doisinkidney.com·388w

Keeping Formal Verification in Bounds

doisinkidney.com·391w

A Very Simple Prime Sieve in Haskell

doisinkidney.com·393w

Total Combinations

doisinkidney.com·396w

Agda Beginner(-ish) Tips, Tricks, and Pitfalls

doisinkidney.com·400w

Verified AVL Trees in Haskell and Agda

doisinkidney.com·407w

Probabilistic Functional Programming

doisinkidney.com·409w

Probability 5 Ways

doisinkidney.com·412w

Scheduling Effects

doisinkidney.com·413w

Breadth-First Traversals in Far Too Much Detail

doisinkidney.com·415w

Rotations

doisinkidney.com·415w

Breadth-First Rose Trees: Traversals and the Cofree Comonad

doisinkidney.com·416w

Swapping

doisinkidney.com·416w

Sorting Small Things in Haskell

doisinkidney.com·419w

Type-Level Induction in Haskell

doisinkidney.com·420w

5 Cool Things You Can Do With Pattern Synonyms

doisinkidney.com·423w

Log in to enable infinite scrolling