gf-core.git/src/PGF/Macros.hs, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2009-12-13T18:50:29+00:00 reorganize the directories under src, and rescue the JavaScript interpreter from deprecated 2009-12-13T18:50:29+00:00 krasimir krasimir@chalmers.se 2009-12-13T18:50:29+00:00 urn:sha1:f85232947e74ee7ef8c7b0ad2338212e7e68f1be rename #Var to __gfVar because it breaks the JavaScript editor 2009-12-13T15:29:26+00:00 krasimir krasimir@chalmers.se 2009-12-13T15:29:26+00:00 urn:sha1:d88a865faff59c98fc91556ff8700b10ee5f2df8 judgements lindef are now respected by both the parser and the linearizer 2009-12-11T17:39:18+00:00 krasimir krasimir@chalmers.se 2009-12-11T17:39:18+00:00 urn:sha1:5804db98167c118f910a3b76d42b2566ed347d51 change the data types and the syntax in PGF to match the new syntax for implict arguments 2009-09-20T11:43:41+00:00 krasimir krasimir@chalmers.se 2009-09-20T11:43:41+00:00 urn:sha1:b1a51f46f5d137ab4d65a4381b349af3291a944d polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr 2009-09-11T13:45:34+00:00 krasimir krasimir@chalmers.se 2009-09-11T13:45:34+00:00 urn:sha1:1cdf171251a56baf0867b65a95c9bd59801ff912 now the datatype Tree is only internal. All API functions are working with Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker 2009-09-08T08:40:28+00:00 krasimir krasimir@chalmers.se 2009-09-08T08:40:28+00:00 urn:sha1:28a7c4b5c7659dc18166e06e914fb0a81c1c43bc PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable 2009-07-05T15:44:52+00:00 krasimir krasimir@chalmers.se 2009-07-05T15:44:52+00:00 urn:sha1:279ff9a6d28c87e1a6c105d9d33df2511fb8f132 some work on evaluation with abstract expressions in PGF 2009-05-22T18:54:51+00:00 krasimir krasimir@chalmers.se 2009-05-22T18:54:51+00:00 urn:sha1:41b263cf6aa38e7c6ef090c0fa18949b86eec62c refactor the PGF.Expr type and the evaluation of abstract expressions 2009-05-20T21:03:56+00:00 krasimir krasimir@chalmers.se 2009-05-20T21:03:56+00:00 urn:sha1:7db4b641ce6abe90dd404459cd5eccb6e67f618c Added PGF.Macros.mapConcretes 2008-10-20T14:51:42+00:00 bjorn bjorn@bringert.net 2008-10-20T14:51:42+00:00 urn:sha1:6b8c9dd4c9a1e28ef22a1c1797143ffd8febef5d