makkai - Type theory implementation

Age	Commit message (Expand)	Author
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
2026-04-27	report _which_ element does not belong to the correct set, at the bottom of t...	tslil
2026-04-27	instrument add_element, skip assert_unbound*	tslil
2026-04-27	enforce arm match uniqueness again	tslil
2026-04-27	add distinction between hypothetical and concrete elements to the set checker...	tslil
2026-04-27	change the "claimed set" notation to "set-of" so that David isn't confused	tslil
2026-04-27	refactor error to be clearer	tslil
2026-04-24	computing cases	tslil
2026-04-24	refactor: separate checker into _state, _set, and principle export	tslil
2026-04-24	checking for injections, projections, rm vesitigial App	tslil
2026-04-24	minor cleanup	tslil
2026-04-23	start work on elements	tslil
2026-04-23	Progress on checking sets	tslil
2026-04-23	basic checking sketch	tslil
2026-04-23	commit grammar, format code (macro sigh), add pretty printing of AST	tslil
2026-04-23	Init	tslil