krasimir 0da54cdf64 produce optimized Lambda Prolog code

2010-03-22 08:56:42 +00:00

..

Abstract

pattern @ should be propagated to PGF

2010-03-18 20:21:57 +00:00

Concrete

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

CheckGrammar.hs

no need to keep the list of constructors per category in .gfo

2010-02-16 09:34:02 +00:00

Coding.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

ExampleBased.hs

example_based returns the list of all unknown words

2010-01-28 16:27:28 +00:00

Export.hs

added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.

2010-03-20 07:26:53 +00:00

GeneratePMCFG.hs

in verbose mode print the rule names when compiling PMCFG

2010-02-06 18:24:15 +00:00

GetGrammar.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

GrammarToPGF.hs

pattern @ should be propagated to PGF

2010-03-18 20:21:57 +00:00

ModDeps.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Optimize.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

PGFtoHaskell.hs

fix the Haskell code generation

2010-02-17 13:09:23 +00:00

PGFtoJS.hs

bugfix in the PGF typechecker and more test cases

2010-01-29 21:10:14 +00:00

PGFtoLProlog.hs

produce optimized Lambda Prolog code

2010-03-22 08:56:42 +00:00

PGFtoProlog.hs

bugfix in the PGF typechecker and more test cases

2010-01-29 21:10:14 +00:00

ReadFiles.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Refresh.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Rename.hs

no need to keep the list of constructors per category in .gfo

2010-02-16 09:34:02 +00:00

SubExOpt.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Update.hs

no need to keep the list of constructors per category in .gfo

2010-02-16 09:34:02 +00:00