Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Printing refinement types in scaladoc. | Paul Phillips | 2011-03-31 | 1 | -0/+18 |
one-member refinements, for bigger ones printing the number of members. Should be improved. Closes #484, no review. |
index : scala | ||
The Scala programming language |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Printing refinement types in scaladoc. | Paul Phillips | 2011-03-31 | 1 | -0/+18 |
one-member refinements, for bigger ones printing the number of members. Should be improved. Closes #484, no review. |