Toggle navigation
Home
Talks
λΠ PLT
Radar
About
bio
category-theory
chess
content-management-systems
data-visualisation
distributed-systems
erlang
focus
goals
idris-dev
idris
kubernetes
lambda-jam-2014
machine-learning
modules-reader-cake
monad-v-comonad
nix
package-system
parsing
ports
rails-gems
reader-with-annotations
recommended-companies
research-interests
songs
succinct-data-structures
todo
tooling-friendly-PLs
ugh
web-design