index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
runtime
/
haskell
/
PGF
/
Data.hs
Age
Commit message (
Collapse
)
Author
2010-06-18
Yay!! Direct generation of PMCFG from GF grammar
krasimir
2010-05-26
since now we don't do common subexpression elimination for PGF we could ↵
krasimir
simplify the PMCFG generation
2010-04-30
first incarnation of the bracketed string API
krasimir
2010-03-24
now for every category we store, in PGF, the list of functions for it in ↵
krasimir
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-02-22
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵
krasimir
to the meta store
2010-01-29
bugfix in the PGF typechecker and more test cases
krasimir
2010-01-27
cleanup the code of the PGF interpreter and polish the binary serialization ↵
krasimir
to match the preliminary specification
2010-01-17
PGF is now real synchronous PMCFG
krasimir
2010-01-05
printnames are now kept as String instead of Term in PGF
krasimir
2009-12-13
reorganize the directories under src, and rescue the JavaScript interpreter ↵
krasimir
from deprecated