felix.git/source/Checking/Exact/Vocabulary.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 Make finite-set literals intrinsic 2026-08-05T20:18:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T20:18:50+00:00 urn:sha1:84041116c7e9d8a3f5e6336c6d36dc39a8759ed6 Restore fixed equality aliases 2026-08-04T19:35:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T19:35:38+00:00 urn:sha1:7131eee1a37a8a08f833b33620b2b0dfda32eb4a Resolve source application through apply 2026-08-02T23:51:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T23:51:03+00:00 urn:sha1:136a788268dbacf9285d2a25ea78fddd75a2318a Compile quantified exact noun subjects 2026-08-02T23:18:24+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T23:18:24+00:00 urn:sha1:4fa92d0d955abfc75a5f1fae558edd5f3fd6be2e Separate ordered tuples from PairSet 2026-08-02T18:51:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T18:51:00+00:00 urn:sha1:63451bdca1f078eef1069cba9bba1b278fc31cde Rewrite protected set and naturals closure 2026-08-02T16:42:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T16:42:54+00:00 urn:sha1:5f64079c4ec671de04971f38907805e9de514537 Lower fixed exact set terms uniformly 2026-08-02T09:49:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T09:31:30+00:00 urn:sha1:36ecc3fa6e3b5d993a45e01d13fe2f643d64206a Share exact primitive vocabulary 2026-08-02T07:39:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T07:39:16+00:00 urn:sha1:e3a24b91d137e00a1f7f6a9d2946bc301e9499c9