felix.git/source/Felix/Migration.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T18:46:33+00:00 Cut verification over to the typed driver 2026-08-03T18:46:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T18:46:33+00:00 urn:sha1:d4667c50132fc5c55383ee3b8907705738608bff Report admitted typed source state 2026-08-03T17:53:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T17:53:34+00:00 urn:sha1:e646a010305a0db70048bb7f11682d58da5b675e Activate the typed aggregate library 2026-08-03T16:05:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T16:05:35+00:00 urn:sha1:297c8c25dd29d63fb2b0ef719049eaa8200dc9e2 Activate exact topology consumers 2026-08-03T15:03:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T15:03:07+00:00 urn:sha1:5ba3ccca1695fa19acc1dae66052753f168b9bba Activate exact topological spaces 2026-08-03T14:26:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T14:26:28+00:00 urn:sha1:380c786c1ddddbe1d699cece927d9749df5b26af Migrate preclosure spaces 2026-08-03T13:08:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T13:08:18+00:00 urn:sha1:57e0b5d72575a5cfdf09cf79030da008dfd16abf Migrate meet semilattices 2026-08-03T13:05:19+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T13:05:19+00:00 urn:sha1:3c4226778dab90ec2b9067dad018aa056d42943e Migrate loops to exact checking 2026-08-03T12:26:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:26:39+00:00 urn:sha1:0bad0f480c3e800e5bcd93b9976098aad1dde803 Migrate quasigroups to exact checking 2026-08-03T12:24:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:24:55+00:00 urn:sha1:e6244775521a4396b34349737079ccf13115f340 Migrate monoids to exact checking 2026-08-03T12:22:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:22:55+00:00 urn:sha1:efca63727c4787f374e41a79d7ac047bfb43ddf2