summaryrefslogtreecommitdiff
path: root/src/PGF/Expr.hs
AgeCommit message (Expand)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
2009-12-05added mkMeta and isMeta in PGFkrasimir
2009-12-05fix the pattern matching in unStr, unInt, unDoublekrasimir
2009-10-02Implicit arguments in GF. Works only in PGF for now.krasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for impli...krasimir
2009-09-19use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ...krasimir
2009-09-18typo in PGF.Exprkrasimir
2009-09-17bugfix in the ai commandkrasimir
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ...krasimir
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type syno...krasimir
2009-09-08now the datatype Tree is only internal. All API functions are working with Ex...krasimir
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05bugfix in PGF.Expr.applykrasimir
2009-07-05PGF.Expr.eval now returns suspension when a meta variable is encounteredkrasimir
2009-06-19fix the current PGF typecheckerkrasimir
2009-06-19bugfix: restore the check for bound variables in expr2treekrasimir
2009-05-23now in the command shell the primary type in the pipe is Expr not Tree. This ...krasimir
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-01-30metavariables made unique in type checkingaarne
2008-10-28define Read and Show instances for Expr and Treekrasimir
2008-10-20Added Read and Show instances for CId. Also added readCId :: String -> Maybe ...bjorn
2008-10-20Added Read and Show instances for Type. This required moving some code around.bjorn
2008-10-20add parser and pretty printer for typeskrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:20:46 +0000