@duplode@mathstodon.xyz
Joined: 06/16/2023
Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him
{username} has no public lists
{username} has no activity yet