Post by @koronkebitch

EN

Modes

In reply to

@koronkebitch@types.pl

something something IU->Galois->UBC (I'm a PhD student at UBC studying weird connections between mutable references and type universes)

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)

types.pl

@koronkebitch@types.pl · Apr 13, 2026

@davepagurek yup...

0

Loading comments...

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion