avatar

wren_h

@wren_h@mathstodon.xyz

Joined: 02/11/2025



About wren_h

hello! i’m an amateur interested in programming language and theory, especially around dependent types.

Lists

wren_h has no public lists

Timeline

wren_h has no activity yet