aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-04-27refactor equality checking and fields as we start to build towards signaturestslil
2026-04-27report _which_ element does not belong to the correct set, at the bottom of ↵tslil
the tree anyway
2026-04-27instrument add_element, skip assert_unbound*tslil
2026-04-27enforce arm match uniqueness againtslil
2026-04-27add distinction between hypothetical and concrete elements to the set ↵tslil
checker, it now enforces that all arms in case are well typed!
2026-04-27Move type theory into readmetslil
2026-04-27change the "claimed set" notation to "set-of" so that David isn't confusedtslil
2026-04-27add licensetslil
2026-04-27refactor error to be clearertslil
2026-04-24computing casestslil
2026-04-24refactor: separate checker into _state, _set, and principle exporttslil
2026-04-24checking for injections, projections, rm vesitigial Apptslil
2026-04-24minor cleanuptslil
2026-04-23start work on elementstslil
2026-04-23Progress on checking setstslil
2026-04-23basic checking sketchtslil
2026-04-23commit grammar, format code (macro sigh), add pretty printing of ASTtslil
2026-04-23Inittslil
generated by cgit v1.3.1 (git 2.54.0) at 2026-08-30 21:17:59 +0000