| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-03-18 | pattern @ should be propagated to PGF | krasimir | |
| 2010-03-18 | syntax for inaccessible patterns in GF | krasimir | |
| 2010-02-22 | refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵ | krasimir | |
| to the meta store | |||
| 2010-01-31 | add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation ↵ | krasimir | |
| and PGF.Expr.Patt | |||
| 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-15 | allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax ↵ | krasimir | |
| parser in PGF | |||
| 2010-01-15 | now the abstract syntax in PGF allows the same syntax for integers, floats ↵ | krasimir | |
| and strings as in Haskell. This includes negative integers and exponents in the floats | |||
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
