BranchCommit messageAuthorAge
masterMerge remote-tracking branch 'origin/master' into racketWei Tang4 years
racketallow substitution to be falseWei Tang4 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