Jad Ghalayini's devlog
systems programming, category theory, refinement types, hacks.
WIP.