aboutsummaryrefslogtreecommitdiff
path: root/src/checker.rs
AgeCommit message (Collapse)Author
2026-04-29switch to references in many places for check_*, complete logic of Var case ↵tslil
for App
2026-04-29implement canonicalisation in case arms, work through first bit of apptslil
2026-04-29wire in instance checking to the main checkertslil
2026-04-28snapshot of working through instances/singatures <> sets/elementstslil
2026-04-28move assert unbound to only top-level decls to allow shadowingtslil
2026-04-28rework checking logic to revolve around "stuck" computations, the meaning of ↵tslil
Hypothetical is now reserved for formal bindings
2026-04-27refactor equality checking and fields as we start to build towards signaturestslil
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-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-23Inittslil
generated by cgit v1.3.1 (git 2.54.0) at 2026-08-30 21:16:46 +0000