jonoodle 
@ionchy@types.pl
- pronouns
- he/they
- website
- https://ionathan.ch
- birdsite
- https://twitter.com/ionathanch
- Pokémon Go
- 8336 6654 0984
Jon(athan)? | ionchy ("yawnchy")
PhD student in PL doing type theory things
#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
re: CPP 2021
This is just a longwinded way of saying #AxiomKCrew tbh
This has only happened twice so idk if it counts as a pattern
Pattern matching without K and Definitional Proof-Irrelevance without K
For someone who is on #AxiomKCrew this is ironic
Tired: #AxiomKCrew
Wired: #TeamHaskell
Given that it only takes six people tooting a hashtag to get it trending on this tiny instance I'm appalled I haven't managed to get #AxiomKCrew trending yet
- pronouns
- he/they
- website
- https://ionathan.ch
- birdsite
- https://twitter.com/ionathanch
- Pokémon Go
- 8336 6654 0984
Jon(athan)? | ionchy ("yawnchy")
PhD student in PL doing type theory things
#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
