About Me

dark mode? back?

Things I Enjoy

• Programming languages (especially dependent ones)
• Type theory and type systems
• Singing (both choral and solo)

Contacting me

blueberry____

on discord (that's four underscores)

jake-87

on github

back?