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