| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-06-26 | removed transfer from gf3 | aarne | |
| 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 ↵ | bringert | |
| context. Added proper pattern checking operation. | |||
| 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 |