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 · Jun 27, 2025

@rg9119 @wilbowma well that's too cool not to dig up

View full thread on types.pl

1

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