∑Π≃λ×🍩

Wayward physics girl doing work in Haskell and Agda now

HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking

@petrockette@masto.ai