Ancestors

Toot

Written by julesh on 2025-01-28 at 16:48

I wrote a thing!

Bidirectional Typechecking is Bidirectional

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

=> More informations about this toot | More toots from julesh@mathstodon.xyz

Descendants

Written by Zanzi @ Monoidal Cafe on 2025-01-28 at 17:03

@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

=> More informations about this toot | More toots from zanzi@mathstodon.xyz

Written by julesh on 2025-01-28 at 17:08

@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

=> More informations about this toot | More toots from julesh@mathstodon.xyz

Written by Zanzi @ Monoidal Cafe on 2025-01-28 at 17:12

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

=> More informations about this toot | More toots from zanzi@mathstodon.xyz