In reply to
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
·
Aug 13, 2025
@markusde @krismicinski @kha yes, we are working on this right now, taking a lot of inspiration from Pulse and recent Iris-related works. Stay tuned. :)
2
0
0
Loading comments...