Log inSign up
user avatar
aron
@Aron_Adler
⊙ functional programming, dependent types, lean. i sometimes twitch stream myself writing lean4. love thinking about type systems. jewish. ¬p-zombie.
LondO(n²)
Joined October 2009
2,749
Following
2,712
Followers