felix.git/source/Syntax/Abstract.hs, branch hotg

felix.git/source/Syntax/Abstract.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 Make finite-set literals intrinsic 2026-08-05T20:18:50+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-05T20:18:50+00:00 urn:sha1:84041116c7e9d8a3f5e6336c6d36dc39a8759ed6 Separate ordered tuples from PairSet 2026-08-02T18:51:00+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-02T18:51:00+00:00 urn:sha1:63451bdca1f078eef1069cba9bba1b278fc31cde Construct the empty prelude session 2026-07-31T16:35:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-31T16:35:15+00:00 urn:sha1:a271314ee1e555ae7a15fb2e6fce586cdd824ab3 Make parsed syntax deeply evaluable 2026-07-28T06:50:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T06:50:56+00:00 urn:sha1:48296f3022646d4e3ab2f7c32353a1ea4a67cfcf Restore textual adjective signatures 2026-07-27T21:47:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T21:05:03+00:00 urn:sha1:fff63ca05cde2930a42ff6b6e8717983610d9ae4 Make noun phrase ordering lexicographic 2026-07-27T21:29:40+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T21:00:20+00:00 urn:sha1:ddf340af108c0dbfde506bbbcfd7125f2fd94e60 Validate relation parameter arity 2026-07-27T16:19:29+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T15:32:47+00:00 urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7d 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