makkai/src/check_state.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/check_state.rs?h=main 2026-04-24T11:52:34Z computing cases 2026-04-24T11:52:34Z tslil tslil@posteo.de 2026-04-24T09:44:41Z urn:sha1:36a9377163ecd3300f7b9ad3c4d8e93d97ce41ff refactor: separate checker into _state, _set, and principle export 2026-04-24T09:14:07Z tslil tslil@posteo.de 2026-04-24T08:54:37Z urn:sha1:7152f09f199f440e38263fdafb39b9eda71d7c53