aboutsummaryrefslogtreecommitdiff
path: root/src/main.rs
AgeCommit message (Expand)Author
2026-04-29fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in ...tslil
2026-04-28snapshot of working through instances/singatures <> sets/elementstslil
2026-04-27add tough exampletslil
2026-04-27fix the graph signature, it must have set-of to be correcttslil
2026-04-27flip to agda-like grammar, sets & signatures do not have dots in their fields...tslil
2026-04-27prepare for more work on signatures, in particular this means processing reco...tslil
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 checker...tslil
2026-04-27change the "claimed set" notation to "set-of" so that David isn't confusedtslil
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-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 23:40:34 +0000