summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterAdd Apache-2 licenseWei Tang2 months
racketallow substitution to be falseWei Tang4 years
 
 
AgeCommit messageAuthorFilesLines
2019-06-05Add Apache-2 licenseHEADmasterWei Tang1-0/+202
2015-09-09Merge remote-tracking branch 'origin/master' into racketWei Tang0-0/+0
2015-09-09optimize mm speedWei Tang1-23/+47
2015-09-09fix apply-valueo: now handle listsWei Tang1-1/+11
2015-09-09fix predicatify: it will now terminateWei Tang1-3/+3
2015-09-09fix disj: incorrect implementation of predicatifyoWei Tang1-19/+22
2015-09-09check predicate for patternsWei Tang1-0/+32
2015-09-09Fix disj: if all conditions are false, return #f instead of failWei Tang1-1/+1
2015-09-09Comment out not-running pattern recognition codeWei Tang1-8/+8
2015-09-09Fix disj: False does not count as successWei Tang1-3/+8
[...]
 
Clone
https://git.that.world/mm.git