Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Argyle/
- The abts are not malformed. Chris Pressey 11 days ago
- Clean up. Chris Pressey 11 days ago
- lookupVar is not actually needed, it seems. Chris Pressey 11 days ago
- Interesting, even though it is a step backwards. Chris Pressey 11 days ago
- We can expect the unbound variables are bound in eval environment. Chris Pressey 11 days ago
- Progress: handle literal ABT values more correctly again. Chris Pressey 11 days ago
- Well, this is progress. Chris Pressey 11 days ago
- Gymnastics to make Value and ABT mututally recursive types. Chris Pressey 11 days ago
- Better syntax for ABTs when unparsed. Chris Pressey 12 days ago
- Go back to using "free". Add some failing tests. Chris Pressey 12 days ago
- Fix a bug in the ABT-izing of Quote constructs. Make progress. Chris Pressey 12 days ago
- "free" -> "leftfree" to try to reduce confusion. Chris Pressey 12 days ago
- Tiny cleanup Chris Pressey 12 days ago
- Fix performSubstitution. Chris Pressey 13 days ago
- I think there are some issues with the implementation. Chris Pressey 13 days ago
- Progress on `subst` but no success. Chris Pressey 13 days ago
- Add "subst" function. Chris Pressey 13 days ago
- Get the `abt` form to work. Chris Pressey 13 days ago
- Handle `quote` form slightly differently from `abt`. Chris Pressey 13 days ago
- Towards the declare-free-variables-at-top-of-ABT design. Chris Pressey 13 days ago
- Add string type to the language, and string literals. Chris Pressey 13 days ago
- Add a test. Chris Pressey 14 days ago
- Improve tests. Chris Pressey 14 days ago
- Look up bindings' values in the enclosing environment. Chris Pressey 14 days ago
- We keep getting closer. Chris Pressey 14 days ago
- Improve failing test. Chris Pressey 14 days ago
- Improved way of doing it. Chris Pressey 14 days ago
- Revert "Track AST values." Chris Pressey 14 days ago
- Track AST values. Chris Pressey 14 days ago
- Improve tests. Chris Pressey 14 days ago