makkai - Type theory implementation

Age	Commit message (Collapse)	Author
2026-04-29	switch to references in many places for check_*, complete logic of Var case ↵	tslil
	for App
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
	parser
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 ↵	tslil
	records in telescoped contexts rework ElementValue, CheckedElement to be type aliases for the generic version over Term : Type
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