]> Witch of Git - mukan/history - src
projects / mukan / history
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Formatting fix
[mukan] / src /
2020-02-17 Cassie JonesFormatting fix tree | commitdiff
2020-02-17 Cassie JonesAllow goals to yield to other goals while working tree | commitdiff
2020-02-17 Cassie JonesDerive Eq for Term for performance tree | commitdiff
2020-02-17 Cassie JonesEvaluate larger peano for performance evaluation tree | commitdiff
2020-02-17 Cassie JonesChange Subst to store a single mapping for vars tree | commitdiff
2020-02-17 Cassie JonesMove the terms out into a separate file tree | commitdiff
2020-02-17 Cassie JonesAdd a README tree | commitdiff
2020-02-16 Cassie JonesWhat a horrible night to have an initial commit tree | commitdiff
A Rust implementation of MicroKanren.