projects / mukan / history
| 2020-02-17 | Cassie Jones | Make the Bind iterator for AND goals fair develop | | commitdiff |
| 2020-02-17 | Cassie Jones | Formatting fix | | commitdiff |
| 2020-02-17 | Cassie Jones | Allow goals to yield to other goals while working | | commitdiff |
| 2020-02-17 | Cassie Jones | Derive Eq for Term for performance | | commitdiff |
| 2020-02-17 | Cassie Jones | Evaluate larger peano for performance evaluation | | commitdiff |
| 2020-02-17 | Cassie Jones | Change Subst to store a single mapping for vars | | commitdiff |
| 2020-02-17 | Cassie Jones | Move the terms out into a separate file | | commitdiff |
| 2020-02-17 | Cassie Jones | Add a README | | commitdiff |
| 2020-02-16 | Cassie Jones | What a horrible night to have an initial commit | | commitdiff |