aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1 from drivergroup/ea/codeownersHEADmasterJakob Odersky2018-06-301-0/+1
|\ | | | | Add codeowners statement
| * Add codeowners statementErin Ahmed2018-06-281-0/+1
|/
* Upgrade ScalaJakob Odersky2018-03-093-3/+3
|
* fixed bug in test for step by step reductionStewart Stewart2015-08-111-1/+1
|
* added link to bracket abstraction infoStewart Stewart2015-08-111-0/+6
|
* Step-by-Step reduction test to match exampleStewart Stewart2015-08-111-4/+2
|
* Merge branch 'master' of https://github.com/drivergroup/spn-combinatory-logicStewart Stewart2015-08-111-5/+6
|\
| * Update README.mdJohn St. John2015-08-111-1/+1
| |
| * Create a readmeJohn St. John2015-08-111-0/+9
| |
* | Added a cheat sheet to README.mdStewart Stewart2015-08-111-0/+57
|/
* Initial commit.Stewart Stewart2015-08-114-0/+262