krasimir
|
1ddb738459
|
preparation for dep. types. The -cat option can take any type instead of just a category. The PGF API is generalized as well.
|
2008-10-20 08:42:39 +00:00 |
|
krasimir
|
5dfab9e431
|
export wildCId from PGF.hs
|
2008-10-20 07:56:32 +00:00 |
|
krasimir
|
ef0ff58516
|
add parser and pretty printer for types
|
2008-10-20 07:52:14 +00:00 |
|
bjorn
|
d698a006cc
|
Removed on-demand parser generation from the PGF interpreter.
|
2008-10-16 10:18:54 +00:00 |
|
bjorn
|
8d832b5b9a
|
Moved parser building in the PGF interpreter to PGF.hs from PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).
|
2008-10-16 10:13:25 +00:00 |
|
aarne
|
b6666624a0
|
rudimentary abstract syntax type checker and solver in PGF
|
2008-10-14 14:34:08 +00:00 |
|
krasimir
|
1fc909c101
|
the new optimized incremental parser and the common subexpression elimination optimization in PMCFG
|
2008-10-14 08:00:50 +00:00 |
|
aarne
|
8abf7f5c8a
|
added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet
|
2008-10-13 16:41:21 +00:00 |
|
aarne
|
8555c65c36
|
a first version of PGF.AbsCompute
|
2008-10-10 15:53:17 +00:00 |
|
bjorn
|
f377af2617
|
Added 'complete' function to the PGF API. This is a higher-level API to the completion functionality.
|
2008-09-26 13:17:21 +00:00 |
|
bjorn
|
78cd216243
|
Added canParse function to the PGF API. Make parseAllLang and parseAll skip languages which don't have parsers, instead of always throwing exceptions when some language is missing a parser.
|
2008-08-18 09:26:24 +00:00 |
|
bjorn
|
5e1836d4f9
|
Added languageCode function to the PGF API.
|
2008-08-18 09:25:43 +00:00 |
|
aarne
|
9d909f32cf
|
fixed decodeUTF8 for pgf; removed old resources from darcs
|
2008-06-26 19:41:25 +00:00 |
|
aarne
|
c5c6d13546
|
changed names of resource-1.3; added a note on homepage on release
|
2008-06-25 16:54:35 +00:00 |
|