Brendan @brendan@types.pl

Github: http://github.com/brendanzab

Twitter: https://twitter.com/brendanzab

Pronouns: https://pronoun.is/he

World Builder, Programmer, Type Theory Tinkerer. ✨

Joined Apr 2022

74 Following 62 Followers

Toots Toots and replies Media

There is nothing here!

Github: http://github.com/brendanzab

Twitter: https://twitter.com/brendanzab

Pronouns: https://pronoun.is/he

World Builder, Programmer, Type Theory Tinkerer. ✨

Joined Apr 2022