K
koronkebitch@types.pl
@koronkebitch@types.pl
You can now view, reply, and favourite posts from the Fediverse. You can click here or click on the on the navigation bar on the left.
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
Reputation
0
Profile views
1
Joined
Last Online