Ancestors

Toot

Written by Guillaume Munch-Maccagnoni on 2025-01-17 at 21:42

PL researchers: You don't need to study complex constructs, you just need syntactic sugar over a simple core.

Logicians: decompose λ-abstraction into syntactic sugar

PL researchers: No, not like that!

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

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113845873484093910
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
234.170282 milliseconds
Gemini-to-HTML Time
0.4783 milliseconds

This content has been proxied by September (3851b).