Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removed old pattern matcher. | Paul Phillips | 2012-12-26 | 1 | -1/+1 |
* | Exhaustivity: TreeMakers as boolean propositions | Adriaan Moors | 2012-05-22 | 1 | -1/+1 |
* | migrates stdlib and compiler to tags | Eugene Burmako | 2012-04-23 | 1 | -0/+1 |