makkai - Type theory implementation

Age	Commit message (Expand)	Author
2026-05-05	replace todo! with real errors	tslil
2026-05-04	almost done	tslil
2026-05-01	wip on App again	tslil
2026-05-01	working on fixing app, rework ast to have generics etc	tslil
2026-05-01	add monotic counters, fix element binding case in app->for	tslil
2026-04-30	wip case for instances	tslil
2026-04-30	fill in some more todos	tslil
2026-04-30	lost track of what's going on	tslil
2026-04-29	wip on App For	tslil
2026-04-29	correctly handle stuck app cases	tslil
2026-04-29	unconditionally check codomain for var	tslil
2026-04-29	more of App, but there are bugs and incompleteness	tslil
2026-04-29	switch to references in many places for check_*, complete logic of Var case f...	tslil
2026-04-29	implement canonicalisation in case arms, work through first bit of app	tslil
2026-04-29	wire in instance checking to the main checker	tslil
2026-04-29	fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in ...	tslil
2026-04-28	snapshot of working through instances/singatures <> sets/elements	tslil
2026-04-27	prepare for more work on signatures, in particular this means processing reco...	tslil
2026-04-27	basic signature functionality, missing extension signatures	tslil
2026-04-27	refactor equality checking and fields as we start to build towards signatures	tslil