Jad Ghalayini's devlog

systems programming, category theory, refinement types, hacks.

WIP.