felix.git/source/Checking/SetConstruction.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T15:54:00+00:00 Migrate to `Felix` namespace 2026-08-06T15:54:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T15:54:00+00:00 urn:sha1:82328890108bae64b372b8d58620ebc62699de76 Pin relational extensional schema 2026-08-05T15:55:31+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T15:55:31+00:00 urn:sha1:2f6b8a5033bed7736c54494d6f0cca98771cc9e0 Restore checked relational replacement 2026-08-05T15:27:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T15:27:48+00:00 urn:sha1:bca96d08044e4d67bf3bf7e0b2e6f4c88edcc12e Simplify checked set construction invariants 2026-08-04T23:43:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T23:43:32+00:00 urn:sha1:5ec13686c73755c6edbd2a1043dcf60424c8c269 Centralize checked set constructions 2026-08-04T23:23:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T23:23:25+00:00 urn:sha1:01a3cc7d737d4e227422e4027bf8dee9d179fc60