About petrockette

∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @petrockette@masto.ai

🌉 bridged from 🦋 petrockette.bsky.social, follow @bsky.brid.gy to interact

Lists

Timeline

petrockette.bsky.social has no activity yet