gf-core.git/src/PGF/Paraphrase.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 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 now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting 2009-05-23T21:33:52+00:00 krasimir krasimir@chalmers.se 2009-05-23T21:33:52+00:00 urn:sha1:e5c8636a5f608af83d918e62533306cf7ddc7118 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 paraphrase works a little better now ; added examples/paraphrase for testing 2008-10-14T11:19:30+00:00 aarne aarne@cs.chalmers.se 2008-10-14T11:19:30+00:00 urn:sha1:a11f1b14370883b903da5b93de88984a3cfb9344 added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet 2008-10-13T16:41:21+00:00 aarne aarne@cs.chalmers.se 2008-10-13T16:41:21+00:00 urn:sha1:54f8fd9ec1930b84ef911f98406202c1e5183ade