jonoodle @ionchy@types.pl
Admin
Jon(athan)? | ionchy ("YON-tchy") 🏳️🌈
MSc student in CS doing type theory things 🇨🇦
@ionathanch on most places 🐦
PoGo: 8336 6654 0984
#WaterDrinker 💧
emoji boy of types.pl
I have been blessed with admin powers on this instance and I will do my best not to muck things up
pfp: https://picrew.me/share?cd=6rKy0AQ4I3
header: https://doi.org/10.1145/2578855.2537850
Joined Oct 2020
