The Package Calculus
543 B · 16 lines
at dev