felix.git/source/Checking/Exact/Global.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-04T08:47:33+00:00 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 Support contextual exact abbreviations 2026-08-03T12:05:35+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:05:35+00:00 urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593 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