gf-core.git/transfer/doc, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2008-06-26T21:05:01+00:00 removed transfer from gf3 2008-06-26T21:05:01+00:00 aarne aarne@cs.chalmers.se 2008-06-26T21:05:01+00:00 urn:sha1:fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a Transfer: some TODOs. Lots of minor fixes in type checking algorithm. 2006-03-20T18:23:55+00:00 bringert bringert@cs.chalmers.se 2006-03-20T18:23:55+00:00 urn:sha1:0419860b4e1463ef5c9f32e0697f917806b78752 Some simple clarifications in the transfer type checking document. 2006-03-20T15:15:56+00:00 bringert bringert@cs.chalmers.se 2006-03-20T15:15:56+00:00 urn:sha1:8d1543684a37280ef23a2c7be5d141e1800cea9e Transfer type system: some random changes 2006-03-06T16:55:22+00:00 bringert bringert@cs.chalmers.se 2006-03-06T16:55:22+00:00 urn:sha1:a961739bbf672eaad0a26fb15372fcc68c902ef1 Transfer type checking algorithm: started on conversion. 2006-03-03T15:56:15+00:00 bringert bringert@cs.chalmers.se 2006-03-03T15:56:15+00:00 urn:sha1:f568dbcf642fcb4c5e4dc8bb3efe0ef72fc88439 Transfer type checking: Added some notation explanation. Added constructor context. Added proper pattern checking operation. 2006-03-03T10:56:34+00:00 bringert bringert@cs.chalmers.se 2006-03-03T10:56:34+00:00 urn:sha1:54542c84239a211b2b9a2e52ebbbd61463d60164 Transfer: added beginnings of a type checking algorithm description. 2006-03-03T10:37:59+00:00 bringert bringert@cs.chalmers.se 2006-03-03T10:37:59+00:00 urn:sha1:0453d5c45e8e8204f39311eebb0f7093d9e26b9b