projects / mukan / history
| 2020-02-17 | Cassie Jones | Evaluate larger peano for performance evaluation | tree | commitdiff |
| 2020-02-17 | Cassie Jones | Change Subst to store a single mapping for vars | tree | commitdiff |
| 2020-02-17 | Cassie Jones | Move the terms out into a separate file | tree | commitdiff |
| 2020-02-17 | Cassie Jones | Add a README | tree | commitdiff |
| 2020-02-16 | Cassie Jones | What a horrible night to have an initial commit | tree | commitdiff |