gf-core.git/transfer, 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 transferc now uses env var TRANSFER_PATH to locate imports. 2006-09-13T11:46:04+00:00 bringert bringert@cs.chalmers.se 2006-09-13T11:46:04+00:00 urn:sha1:f41c8fd2fc5d837d4f03976e886d918aed114cf2 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 Expermintation woth a collections framework for transfer. 2006-03-20T14:46:47+00:00 bringert bringert@cs.chalmers.se 2006-03-20T14:46:47+00:00 urn:sha1:eacb437f437bc79650708af472b7796c7fd041e5 Added some tricky transfer type checking examples. 2006-03-20T14:04:11+00:00 bringert bringert@cs.chalmers.se 2006-03-20T14:04:11+00:00 urn:sha1:d760ce973896bbfd5e9f62516bb953cfeeabaf1a Transfer TODO: added (A,B : Type) argument types. 2006-03-20T14:03:34+00:00 bringert bringert@cs.chalmers.se 2006-03-20T14:03:34+00:00 urn:sha1:2371a1fccaf0e02aa804830e93e6c8e25539a7e7 Transfer prelude: added missing type arguments to some type classes. 2006-03-15T16:48:35+00:00 bringert bringert@cs.chalmers.se 2006-03-15T16:48:35+00:00 urn:sha1:5da597da36ec78d7219978e36f9305f4b446093a Fixed typo in transfer prelude: prim_eq_Str 2006-03-15T16:25:40+00:00 bringert bringert@cs.chalmers.se 2006-03-15T16:25:40+00:00 urn:sha1:379a969f6703107955b93837e9c9d5939c5a7f28 Transfer reflexive example: added ideal version. 2006-03-13T10:56:45+00:00 bringert bringert@cs.chalmers.se 2006-03-13T10:56:45+00:00 urn:sha1:eee0f20ea84b2540acf5fb6b969755adeebb2e5b