![@koronkebitch@types.pl avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/99/0d/990d3b8bc88397d8b5f683bb68bafd5c4747b5be89b095aa280f5ce5edcb5b47.jpg)
![@koronkebitch@types.pl cover](https://mbin.grits.dev/media/cache/resolve/user_cover/1b/4a/1b4af972f4dd08f5c7c580f8ae01d5853d18a673070c9c26b5b8efdfd0280f27.jpg)
![@koronkebitch@types.pl avatar](https://mbin.grits.dev/media/cache/resolve/avatar_thumb/99/0d/990d3b8bc88397d8b5f683bb68bafd5c4747b5be89b095aa280f5ce5edcb5b47.jpg)
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
This profile is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.