@wilbowma @koronkebitch @atsuzaki @secretasianman dibs for this from ICFP’25.
Ilya Sergey
@ilyasergey@types.pl
Associate Prof at NUS School of Computing. PL, proofs, systems, pictures of corgi. https://ilyasergey.net
types.pl
Ilya Sergey
@ilyasergey@types.pl
Associate Prof at NUS School of Computing. PL, proofs, systems, pictures of corgi. https://ilyasergey.net
types.pl
@ilyasergey@types.pl
·
Sep 22, 2024
3
1
0
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...