Conversation

Notices

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 01:48:08 JST julesh

   I wrote a thing!

   Bidirectional Typechecking is Bidirectional

   https://cybercat.institute/2025/01/28/bidirectional-typechecking/

   • Embed this notice
     Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 02:03:13 JST Zanzi @ Monoidal Cafe

     in reply to

     @julesh I wish I had quote toots so I could tell people this is one of the most exciting developments in optics and PL :D

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 02:08:55 JST julesh

     in reply to

     • Zanzi @ Monoidal Cafe

     @zanzi Just grab the url and stick it at the bottom of the twoot, like people used to do it on twitter back in the day

   • Embed this notice
     Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 02:12:12 JST Zanzi @ Monoidal Cafe

     in reply to

     @julesh ok, i'll do it like a *pleb* :P