James
types4life.bsky.social
James
@types4life.bsky.social
he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
November 10, 2023 at 8:12 PM