TFKls

Writing software one β-reduction at a time.

Location: Cracow, Poland

Pinned Repositories

TFKls's Repositories