felix.git/test/golden/prooffix/parsing.golden, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-07-27T16:19:29+00:00 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 Update tests 2026-03-07T01:51:33+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-03-07T01:51:33+00:00 urn:sha1:b2b47f6ac4fb5604b0652724e8259ce52de13164 Update golden tests 2026-02-13T23:54:25+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-13T23:54:25+00:00 urn:sha1:1122576d9283d499915ec4d0a87ee8cf03e5339e Add `lexiconAllPatterns`, basic warning for dupe pattern 2026-02-05T19:25:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T19:25:59+00:00 urn:sha1:d975e071f2563a2169e7a5ee65bc47d52000495d Remove `lookupLexicalItem`, attach info in AST instead 2026-02-05T18:50:34+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T18:50:34+00:00 urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c Fix `filterTask`, make var names more consistent 2025-12-17T18:35:56+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-17T18:35:56+00:00 urn:sha1:a077ea7a68bd7d723da499057b484bcb265b5336 Add location info to implicit QED step 2025-12-16T16:10:31+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-16T16:10:31+00:00 urn:sha1:ed546f3ce3d7c4e5840387beb2d89c8da05378ea Fix column location 2025-12-14T16:54:05+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:54:05+00:00 urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4ae Add more location info in tasks 2025-12-14T16:47:51+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-14T16:47:51+00:00 urn:sha1:4c536bc12666fb664ca522f99ea8f200963050c7 Propagate location info further 2025-12-09T22:20:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-12-09T22:20:55+00:00 urn:sha1:2975712d575c28d4820e379e55609960a71dcd1d