felix.git/source/Checking/Module.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-04T13:28:19+00:00Cleanup2026-08-04T13:28:19+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T13:28:19+00:00urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264Name prospective lowering explicitly2026-08-04T09:13:49+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T09:13:49+00:00urn:sha1:a2a32439c30fb02c33d20ea4a71634d842a3c103Plan and admit module declarations prospectively2026-08-04T08:47:33+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T08:47:33+00:00urn:sha1:a89562150ca30d9ad53440f6bce8d6ef166d1842Route declarations through checked envelopes2026-08-04T08:07:42+00:00adelon22380201+adelon@users.noreply.github.com2026-08-04T08:07:42+00:00urn:sha1:377e046a6bd04a1c9caa300bd468b9cfe1f97867Reject the packaged prelude as ordinary source2026-08-03T19:27:07+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:27:07+00:00urn:sha1:b6f605ed563af2d05b54e2a1fc71cbcec56c1660Remove obsolete verification machinery2026-08-03T19:00:28+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:00:28+00:00urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4Cut verification over to the typed driver2026-08-03T18:46:33+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T18:46:33+00:00urn:sha1:d4667c50132fc5c55383ee3b8907705738608bffReport admitted typed source state2026-08-03T17:53:34+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T17:53:34+00:00urn:sha1:e646a010305a0db70048bb7f11682d58da5b675eAcquire the final prelude through the cache2026-08-03T17:05:13+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T17:05:13+00:00urn:sha1:456eea158c74ea18e773675cd4b076302bc96477Compile exact structure declarations2026-08-03T08:25:05+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T08:25:05+00:00urn:sha1:8bd79694585c510346c40df0e8b8196d6f03d529