]> Witch of Git - mukan/history - src
Formatting fix
[mukan] / src /
2020-02-17 Cassie JonesFormatting fix
2020-02-17 Cassie JonesAllow goals to yield to other goals while working
2020-02-17 Cassie JonesDerive Eq for Term for performance
2020-02-17 Cassie JonesEvaluate larger peano for performance evaluation
2020-02-17 Cassie JonesChange Subst to store a single mapping for vars
2020-02-17 Cassie JonesMove the terms out into a separate file
2020-02-17 Cassie JonesAdd a README
2020-02-16 Cassie JonesWhat a horrible night to have an initial commit