Projects

Everyone's a Syndicate

Spaces are Moments, Not Abstract or Far Away

Shortly Departing From

Outlining Typechecking for your Toy Language / Feeding the lambda calculus its own tail