Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | migrates stdlib and compiler to tags | Eugene Burmako | 2012-04-23 | 1 | -1/+0 |
| | | | | | * all usages of ClassManifest and Manifest are replaced with tags * all manifest tests are replaced with tag tests | ||||
* | adds erasures to concrete type tags | Eugene Burmako | 2012-04-17 | 1 | -1/+1 |
| | |||||
* | implements reification of tough types | Eugene Burmako | 2012-04-14 | 1 | -0/+1 |