| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-03-20 | Transfer: some TODOs. Lots of minor fixes in type checking algorithm. | bringert |
| 2006-03-20 | Some simple clarifications in the transfer type checking document. | bringert |
| 2006-03-06 | Transfer type system: some random changes | bringert |
| 2006-03-03 | Transfer type checking algorithm: started on conversion. | bringert |
| 2006-03-03 | Transfer type checking: Added some notation explanation. Added constructor co... | bringert |
| 2006-03-03 | Transfer: added beginnings of a type checking algorithm description. | bringert |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |