Matt McCutchen's Web Site / match / match.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Add command-line interface ./match (adapted from POPL 2012 version).
[match/match.git] / program / example.in
1 1       1       1       1       1
2 15      10      15      40      20
3 30      7       10      15      15
4 15      25      20      20      15
Matt and Samir's proposal matcher