I'm interested in redoing the debugging language to compile down into lambda calculus for easier type checking and evaluation. Additionally/alternatively maybe I'll make a datalog implementation in Rust and use it here to allow for some more interesting queries and/or manipulations.
It's currently being replaced with ketos. It's set up, but functions need to be written to return certain values, or a post-processing function is needed to map certain symbols to debugger actions.
I'm interested in redoing the debugging language to compile down into lambda calculus for easier type checking and evaluation. Additionally/alternatively maybe I'll make a datalog implementation in Rust and use it here to allow for some more interesting queries and/or manipulations.