Post #2236921
2026-05-02 18:23 UTC
@zwarich@hachyderm.io Oh, I see what you mean… Maybe a Cool enough ML would be enough. I’m not sure.
Replies (1)
-
@zwarich@hachyderm.io 2026-05-02 19:28
@jonmsterling@mathstodon.xyz At the very least, even the current Isabelle would benefit from using more Scheme/Racket-inspired quotation mechanisms like Lean.