You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: