mukan
2020-02-17 Cassie JonesMake the Bind iterator for AND goals fair develop
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