• Jeff Smits's avatar
    Commit with too many things: · 2e19d712
    Jeff Smits authored
    Changed aterm version to one that doesn't have the two parsing bugs.
    Added more primitives. Fixed bugs in StackTracer and added it into the
    interpreter so it actually traces. Handling annotated strategy
    definitions is a stupid way. Dropping external strategy definitions.
    Fixed bug in term matching.
context.rs 5.59 KB