suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
axioms
cur/cur-lib
History
William J. Bowman 572b66aac4
Added axioms; added test, but it's *slow*
2016-01-22 15:28:11 -05:00
..
cur Added axioms; added test, but it's *slow* 2016-01-22 15:28:11 -05:00
info.rkt Split and reorganized package. Closes #14 2016-01-10 19:10:12 -05:00