![@duplode@mathstodon.xyz avatar](https://media.kbin.social/media/cache/resolve/avatar_thumb/e1/8b/e18b9745535b7619203b42b3558da656b5349b552fbbe30669400d2720b991b8.png)
![@duplode@mathstodon.xyz](https://media.kbin.social/media/cache/resolve/user_cover/54/52/54523b0fe7fa9eefc8050eece0dfef5cf1a110201de574f7da880f51943090e6.jpg)
![@duplode@mathstodon.xyz avatar](https://media.kbin.social/media/cache/resolve/avatar_thumb/e1/8b/e18b9745535b7619203b42b3558da656b5349b552fbbe30669400d2720b991b8.png)
Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him
This profile is from a federated server and may be incomplete. Browse more on the original instance.
Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him
This profile is from a federated server and may be incomplete. Browse more on the original instance.