gf-core.git/transfer/examples, 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 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 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 Added transfer example: constructing reflexives. 2006-03-13T10:53:44+00:00 bringert bringert@cs.chalmers.se 2006-03-13T10:53:44+00:00 urn:sha1:941a9f35baa4a67c1ee5df89f1ae0f40677a214d Report errors in at command. 2006-01-20T18:18:49+00:00 bringert bringert@cs.chalmers.se 2006-01-20T18:18:49+00:00 urn:sha1:0f6c51f741668adc68491c79ca94cc4b98f5d154 Transfer compiler: rename variables before doing any substitutions. 2005-12-09T13:06:05+00:00 bringert bringert@cs.chalmers.se 2005-12-09T13:06:05+00:00 urn:sha1:dc54207d3b49d05483f7dff718ae751970063784 Transfer: changed syntax to remove the mandatory type annotation in let. 2005-12-09T11:45:57+00:00 bringert bringert@cs.chalmers.se 2005-12-09T11:45:57+00:00 urn:sha1:ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Transfer: Changed transfer program file extension from .tr to .tra to avoid collision with Troff file extension. 2005-12-06T16:33:40+00:00 bringert bringert@cs.chalmers.se 2005-12-06T16:33:40+00:00 urn:sha1:c703a92136ce579282c63c6e31fff76cc84b37ce Simple transfer tutorial touch-up. 2005-12-06T16:26:55+00:00 bringert bringert@cs.chalmers.se 2005-12-06T16:26:55+00:00 urn:sha1:ee4adf5ba8ff50b4580a18d197f9e05d36195ede