summaryrefslogtreecommitdiff
path: root/language/l2_rules.ott
AgeCommit message (Expand)Author
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 05:58:05 +0000