@wren_h@mathstodon.xyz
Joined: 02/11/2025
8
Followers
30
Following
hello! i’m an amateur interested in programming language and theory, especially around dependent types.
wren_h has no public lists
wren_h has no activity yet