About wren_h

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

Lists

Timeline

wren_h has no activity yet