summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge remote-tracking branch 'origin/master' into racketWei Tang3 years
racketallow substitution to be falseWei Tang3 years
 
 
AgeCommit messageAuthorFilesLines
2015-09-09Merge remote-tracking branch 'origin/master' into racketHEADmasterWei 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
2015-09-09Make zip accept only equal-length listsWei Tang1-1/+1
[...]
 
Clone
https://git.that.world/mm.git