| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |||
