aboutsummaryrefslogtreecommitdiff
path: root/src/parser.rs
AgeCommit message (Collapse)Author
2026-05-01make parser more lenient, add the one simplex example, fix naming for recordstslil
2026-04-30wip case for instancestslil
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-29fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in ↵tslil
parser
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 ↵tslil
fields, but applications of those do as do constructions
2026-04-27change the "claimed set" notation to "set-of" so that David isn't confusedtslil
2026-04-24computing casestslil
2026-04-24checking for injections, projections, rm vesitigial Apptslil
2026-04-24minor cleanuptslil
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 22:07:02 +0000