paulette d. koronkevich
something something IU->Galois->UBC
(I'm a PhD student at UBC working on dependent type preserving compilation)
(I'm a PhD student at UBC working on dependent type preserving compilation)
Public Key
npub1nwx6h636dvfnuzlsrmfj7d6cdv0vwm3lp33u92a4rdkvtqukhk0sn9a6twNIP-05 Address
koronkebitch_at_types.pl@mostr.pubProfile Code
nprofile1qqsfhrdtagaxkye7p0cpa5e0xavxk8k8dclscc7z4w63kmx9swttm8c3j88cgAuthor Public Key
npub1nwx6h636dvfnuzlsrmfj7d6cdv0vwm3lp33u92a4rdkvtqukhk0sn9a6tw