]> Witch of Git - mukan/history - src/lib.rs
Make the Bind iterator for AND goals fair
[mukan] / src / lib.rs
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 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-16 Cassie JonesWhat a horrible night to have an initial commit