Commit History
@cefa5bdb3c31bc61e0dd945a5f8d398437cbf847
git clone https://git.catseye.tc/Argyle/
- Make the let-form represent only a single binding in AST. Chris Pressey 6 months ago
- Remove deprecated unit tests. Chris Pressey 6 months ago
- Track declared free variables in VABT. Chris Pressey 6 months ago
- An attempt at removing "free" operators from ABT. Chris Pressey 6 months ago
- Update unit tests. Test performSubstitution, not unused things. Chris Pressey 6 months ago
- Completely rewrite S-expression parser. Chris Pressey 6 months ago
- Clean up test suite, reframe as specification. Chris Pressey 6 months ago
- Update test expectations to match (admittedly brutal) fresh names. Chris Pressey 6 months ago
- Fix how generateFreshName is being called. Chris Pressey 6 months ago
- Fix collectAllFreeVars. All remaining test failures make sense. Chris Pressey 6 months ago
- The abts are not malformed. Chris Pressey 6 months ago
- Clean up. Chris Pressey 6 months ago
- lookupVar is not actually needed, it seems. Chris Pressey 6 months ago
- Interesting, even though it is a step backwards. Chris Pressey 6 months ago
- We can expect the unbound variables are bound in eval environment. Chris Pressey 6 months ago
- Progress: handle literal ABT values more correctly again. Chris Pressey 6 months ago
- Well, this is progress. Chris Pressey 6 months ago
- Gymnastics to make Value and ABT mututally recursive types. Chris Pressey 6 months ago
- Better syntax for ABTs when unparsed. Chris Pressey 6 months ago
- Go back to using "free". Add some failing tests. Chris Pressey 6 months ago
- Fix a bug in the ABT-izing of Quote constructs. Make progress. Chris Pressey 6 months ago
- "free" -> "leftfree" to try to reduce confusion. Chris Pressey 6 months ago
- Tiny cleanup Chris Pressey 6 months ago
- Fix performSubstitution. Chris Pressey 6 months ago
- I think there are some issues with the implementation. Chris Pressey 6 months ago
- Progress on `subst` but no success. Chris Pressey 6 months ago
- Add "subst" function. Chris Pressey 6 months ago
- Get the `abt` form to work. Chris Pressey 6 months ago
- Handle `quote` form slightly differently from `abt`. Chris Pressey 6 months ago
- Towards the declare-free-variables-at-top-of-ABT design. Chris Pressey 6 months ago