]> Witch of Git - mukan/history - src
projects / mukan / history
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Derive Eq for Term for performance
[mukan] / src /
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.