felix.git/source/Test/Unit/Concrete.hs, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-06T15:54:00+00:00 Migrate to `Felix` namespace 2026-08-06T15:54:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T15:54:00+00:00 urn:sha1:82328890108bae64b372b8d58620ebc62699de76 Fix textual connective precedence 2026-07-27T21:29:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T20:57:14+00:00 urn:sha1:bede64260e68b9840c13bdc99e88c6e569168b8b Parse transfinite induction continuation after method 2026-07-27T20:25:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T20:25:42+00:00 urn:sha1:f52eb38294728657d1abee4e2a6f075b207a3bec