felix.git/source/Checking/Exact/Datatype.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 Move to Felix namespace 2026-08-06T12:52:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T12:52:14+00:00 urn:sha1:55bdf59bba8994eeb02a755b7d0ba12af0f427bc Unify checked candidate planning 2026-08-04T14:18:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T14:18:25+00:00 urn:sha1:3b786de9bbf586f1cfb4b04b6eed1577883a3a8b Plan and admit module declarations prospectively 2026-08-04T08:47:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:47:33+00:00 urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842 Route declarations through checked envelopes 2026-08-04T08:07:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-04T08:07:42+00:00 urn:sha1:377e046a6bd04a1c9caa300bd468b9cfe1f97867 Strengthen exact datatype trust boundary 2026-08-02T09:49:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T09:38:01+00:00 urn:sha1:70f2b2b2c2b91a74280847cd9d465374953f7c1d Locate invalid datatype premises 2026-08-02T09:49:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T09:34:54+00:00 urn:sha1:1a5a90ac0c8a88f4076cc77c82159609f92080e4 Authorize exact datatype families 2026-08-02T08:21:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T08:21:20+00:00 urn:sha1:357b0d5482a4d6817a4840d2ecdc0cce2b9c0474 Prepare exact datatype declarations 2026-08-02T08:12:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T08:12:59+00:00 urn:sha1:e5961f2f7f9b06aed9deec4f1c534f07e8dd4184