Gregory's Server:mocking: Combinatory logic, lisp processor or concatenative language, using only string rewrites. This is going to keep me up at night.
https://wiki.xxiivv.com/site/modal
|
Top-level
 2 comments
|
|
Top-level
:mocking: Combinatory logic, lisp processor or concatenative language, using only string rewrites. This is going to keep me up at night. 2 comments
|
@neauoire Now combine this with egraphs (https://egraphs-good.github.io/) for the ultimate metalanguage.
I've had a half-formed idea for an egraphs-and-datalog dependent type system brewing for years now.