gf-core.git/transfer/TODO, 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 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 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 Added tuple expressions and patterns. 2005-12-05T16:44:56+00:00 bringert bringert@cs.chalmers.se 2005-12-05T16:44:56+00:00 urn:sha1:747271941a9e4f698e985d6cb58efe2994e60d61 Transfer: removed list syntax from TODO. 2005-12-01T17:28:50+00:00 bringert bringert@cs.chalmers.se 2005-12-01T17:28:50+00:00 urn:sha1:6b536cf07a18cf730647e7b874c2641cea0ca1be Transfer: remove disjunctive patterns from TODO. 2005-12-01T16:19:43+00:00 bringert bringert@cs.chalmers.se 2005-12-01T16:19:43+00:00 urn:sha1:d15acf44b66b6fab88868ce9fb3ed284c656f7c4 Transfer: removed some fixed TODOs. 2005-12-01T11:32:09+00:00 bringert bringert@cs.chalmers.se 2005-12-01T11:32:09+00:00 urn:sha1:bb82938d72443349c4ea0be3747b92946454736d Fixed layout stop word bug. 2005-11-30T21:30:36+00:00 bringert bringert@cs.chalmers.se 2005-11-30T21:30:36+00:00 urn:sha1:938318d72b0eda095b835eadf342b7216c65602d Transfer: added example which makes the layout resolver go wrong. Added binary conversion from numerals. 2005-11-30T21:02:44+00:00 bringert bringert@cs.chalmers.se 2005-11-30T21:02:44+00:00 urn:sha1:71fb2c16cd551eb4f9c41855baba62d6c186d8d3