felix.git/source/Test/Unit/Foundation.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 Compile exact separation declarations 2026-08-01T22:43:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-01T22:11:19+00:00 urn:sha1:76b9ee6393099d29a3a3a71593fabd0df01ea54d Define bounded fixed-point kernel rules 2026-07-28T11:04:12+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T11:04:12+00:00 urn:sha1:63503003ca8022ad9890396866f52bf56bcb252d Validate the compiled HOTG foundation 2026-07-28T09:03:41+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T09:03:41+00:00 urn:sha1:42a10a18f36d9cc8e22f0371968f804c91d7f989