krasimir 6a89647a6d cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope

2010-03-13 20:12:00 +00:00

..

Data

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

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

PGF

cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope

2010-03-13 20:12:00 +00:00

PGF.hs

refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store

2010-02-22 15:50:41 +00:00