felix.git/source/Syntax/Concrete.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-06T15:54:00+00:00Migrate to `Felix` namespace2026-08-06T15:54:00+00:00adelon22380201+adelon@users.noreply.github.com2026-08-06T15:54:00+00:00urn:sha1:82328890108bae64b372b8d58620ebc62699de76Close exact definition declaration boundary2026-08-05T17:12:18+00:00adelon22380201+adelon@users.noreply.github.com2026-08-05T17:12:18+00:00urn:sha1:3e40aa59760e030db2f00a3cc0200355cfc071d0Separate ordered tuples from PairSet2026-08-02T18:51:00+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T18:51:00+00:00urn:sha1:63451bdca1f078eef1069cba9bba1b278fc31cdeRestore textual adjective signatures2026-07-27T21:47:28+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T21:05:03+00:00urn:sha1:fff63ca05cde2930a42ff6b6e8717983610d9ae4Fix textual connective precedence2026-07-27T21:29:40+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T20:57:14+00:00urn:sha1:bede64260e68b9840c13bdc99e88c6e569168b8bParse transfinite induction continuation after method2026-07-27T20:25:42+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T20:25:42+00:00urn:sha1:f52eb38294728657d1abee4e2a6f075b207a3becMake `Omitted` carry its location2026-07-26T10:42:27+00:00adelon22380201+adelon@users.noreply.github.com2026-07-26T10:42:27+00:00urn:sha1:108b963ebe395ec7c75234e5069c31732531fc97Make `Contradiction` a proof-terminal keyword2026-07-23T19:19:47+00:00adelon22380201+adelon@users.noreply.github.com2026-07-23T19:19:47+00:00urn:sha1:f273a3fd299796a5f2e5b1ec83f2d87621b4ae73Implement datatypes2026-04-13T20:50:05+00:00adelon22380201+adelon@users.noreply.github.com2026-04-13T20:50:05+00:00urn:sha1:308afa734be012233673821deeeb9d440cc82dcbPreserve marker for prefix predicates2026-03-07T09:29:04+00:00adelon22380201+adelon@users.noreply.github.com2026-03-07T09:29:04+00:00urn:sha1:2deeddebd5af8cad3892759451b7f01375e9dae4