Fy
@InductiveGirl
51
Followers
66
Following
4
Media
28
Statuses
(🏳️⚧️ : Haskell) → Agda 🏳️⚧️
she/they
Joined December 2021
Don't wanna be here?
Send us removal request.