summaryrefslogtreecommitdiff
path: root/language/l2_rules.ott
AgeCommit message (Expand)Author
2018-07-10remove obsolete files from language directory.Robert Norton
2017-10-23Aligning Ott generated AST with actual ast.ml. Almost a drop-in replacement b...Mark Wassell
2017-10-17Start of alignment of Ott definition with new implementation of type checker ...Mark Wassell
2016-11-23Add new type checking file. Small changes to type inference, temporary change...Kathy Gray
2016-09-25Catch formal type system up to reality, in progressKathy Gray
2015-02-24Overloading formal relationKathy Gray
2015-02-18All existing type rules in line with implementation (and no more red)Kathy Gray
2015-02-18expression type checking inline with rules, lexp still out of date; overloadi...Kathy Gray
2015-02-17Bring type rules more into modern state of type checkerKathy Gray
2014-12-18More type rulesKathy Gray
2014-12-09Some of the type rules for expressionsKathy Gray
2014-12-04ott rules for type checking pattern matchKathy Gray
2014-12-03Type rules unto coercion now represented in ottKathy Gray
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2014-01-07lem homs and type headersKathy Gray
2013-12-18More lem homsKathy Gray
2013-12-18Tweak formatting in pretty printer, and resolve bugs.Kathy Gray
2013-12-17Convert coerce to a relation that generates a new expression, inserting coerc...Kathy Gray
2013-12-16fix l2_rules to grammar updateKathy Gray
2013-12-03Syntax changes per discussion with Peter, as well as L2.ott document clean up.Kathy Gray
2013-11-29Push syntax changes to type rulesKathy Gray
2013-11-11Merge branch 'new-lem-lib'Gabriel Kerneis
2013-11-09Fix up multiple parses issueKathy Gray
2013-11-08Type system, almost certainly has omissions or flaws I've forgotten, but seem...Kathy Gray
2013-11-07Port L2 to new LemGabriel Kerneis
2013-11-07Most of the function type systemKathy Gray
2013-11-01Moved metatheory grammars into l2_rules.ottKathy Gray
2013-10-30Type coercions and let expressionsKathy Gray
2013-10-25More type rulesKathy Gray
2013-10-23Thread type environment through expressions because of block adding new varia...Kathy Gray
2013-10-22More type systemKathy Gray
2013-10-18Typeing rules for patterns and easy expressionsKathy Gray
2013-09-09Fixes bugs in pretty printer to generate legal lem syntax; split ott grammar ...Kathy Gray
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:50:42 +0000