felix.git/source/Render/Html.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T20:33:27+00:00 Tighten sequential HTML presentation ownership 2026-08-03T20:33:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T20:33:27+00:00 urn:sha1:ad0a3e1be7aad5721534a83621add61dbc4981b6 Share HTML target and route analysis 2026-08-03T20:07:08+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T20:07:08+00:00 urn:sha1:4b2df0ff745f784d5e6f3cd63fcd0c6b5a34f499 Reuse verified presentation for HTML 2026-08-03T19:55:32+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:55:32+00:00 urn:sha1:a26c79449542a80572ca6846ec440bc4db130c4e Route HTML links through render context 2026-07-28T02:40:48+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T02:40:48+00:00 urn:sha1:100535f6ce6e9be54ed9f8fee31c055d6176bca0 Suppress unchecked datatype fact previews 2026-07-27T18:25:20+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T18:25:20+00:00 urn:sha1:5975cf044849a00ac155d27e870f2694e07ca84c HTML currently has only raw datatype syntax, while checked facts may use canonical domains. Omit derived facts until checked semantic context reaches the renderer. Confine HTML export writes 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T14:24:59+00:00 urn:sha1:396731a119cc9f0f1632319b68921ac8d6b45de0 Export lexer guard through Base 2026-07-26T22:47:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-26T21:40:09+00:00 urn:sha1:c1c161966167b302954fb55d962f4a5eea5a44bd Make `Omitted` carry its location 2026-07-26T10:42:27+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-26T10:42:27+00:00 urn:sha1:108b963ebe395ec7c75234e5069c31732531fc97 Make `Contradiction` a proof-terminal keyword 2026-07-23T19:19:47+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-23T19:19:47+00:00 urn:sha1:f273a3fd299796a5f2e5b1ec83f2d87621b4ae73 Use semantic subset formula inside inductive defns 2026-07-23T17:56:52+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-23T17:56:52+00:00 urn:sha1:d1d3f178db000a6ffd928a75af8eb1ba2b7f8b9a