
π₯’ Jon π²
@ionathanch
Jon(athan)? Chan π³οΈβπ β’ he/they β΅
MSc @ubc_spl β’ PhD @CIS_Penn β΅
programming languages and type theory β΅
@ionchy.ca on bsky
ID: 391830324
http://ionathan.ch 16-10-2011 05:04:21
8,8K Tweet
969 Followers
438 Following