K
koronkebitch@types.pl
@koronkebitch@types.pl
something something IU->Galois->UBC
(I'm a PhD student at UBC studying weird connections between mutable references and type universes)
Reputation
0
Profile views
1
Joined
Last Online