Post #1782107
2026-04-23 01:17 UTC
@mdhughes Rather than having assertions about the names formally checked for reasoning about the bodies.
WILL THIS STILL BE TRUE ON LESS PAINKILLERS, WHO KNOWS
Replies (1)
-
@screwlisp@gamerplus.org 2026-04-23 01:20
@mdhughes One thing my a-b-c has in common with their abstraction-by-specification is that my bodies are first order, e.g. are not functional. and their modules cannot contain modules. Hmm, not sure if similar.