felix.git/test/golden/finite-set-terms/glossing.golden, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T19:00:28+00:00 Remove obsolete verification machinery 2026-08-03T19:00:28+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T19:00:28+00:00 urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4 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 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 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 Remove `lookupOp` and add marker to AST instead 2026-02-05T17:01:54+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T17:01:54+00:00 urn:sha1:6d9c4d9db7adcee4f7344e197163d7ae146fe72f 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 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 Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968