| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-01-24 | Better letrec reductions.HEADtrunk | Nathan Ringo | |
| However... this is now no longer doing capture-avoiding substitution for letrecs... and making the variable the redex kinda makes it harder to do the substitution... Maybe it's time to switch to using pointers in variables. | |||
| 2024-01-24 | No-good evaluation rules for letrec. | Nathan Ringo | |
| 2024-01-24 | Adds space for letrec, some capture avoidance, remove binder arrows. | Nathan Ringo | |
| 2024-01-23 | Adds relational operators. | Nathan Ringo | |
| 2024-01-23 | Booleans and if. | Nathan Ringo | |
| 2024-01-23 | let expressions | Nathan Ringo | |
| 2024-01-20 | Adds lists, although they don't evaluate yet. | Nathan Ringo | |
| 2024-01-19 | λ β. | Nathan Ringo | |
| 2024-01-19 | exceptions as control flow lmao | Nathan Ringo | |
| 2024-01-19 | Call by value. | Nathan Ringo | |
| 2024-01-19 | Add notes to eval output. | Nathan Ringo | |
| 2024-01-19 | Use GADTs for prims, actual redex finding. | Nathan Ringo | |
| 2024-01-19 | Flattens the AST. | Nathan Ringo | |
| 2024-01-18 | Prepare to output non-single-expr messages. | Nathan Ringo | |
| 2024-01-18 | Start of our own AST. | Nathan Ringo | |
 |
index : lambo | |
| A bot for helping to run CSCI2041. | Nathan Ringo |
| aboutsummaryrefslogtreecommitdiff |