petrockette @petrockette.bsky.social
∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @[email protected]
∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @[email protected]