Post #1405466
2026-04-19 01:56 UTC
The reduction and huge type derivation of a simple expression:
(car[num] (cons[num] ⸢1⸣ null[num]))
This proof tree is as patched together as a '70s pre-LaTeX thesis!
(For Matthew Flatt's Programming Languages and Semantics course: https://my.eng.utah.edu/~cs7520/)
#programminglanguages
Replies (0)
No replies.