felix.git/source/Test/Unit/Meaning.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 Move to Felix namespace 2026-08-06T12:52:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-06T12:52:14+00:00 urn:sha1:55bdf59bba8994eeb02a755b7d0ba12af0f427bc Reject unsupported definite source forms 2026-07-28T00:41:42+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-28T00:41:42+00:00 urn:sha1:7c0d42f7c5d64eba3aeb917c8095ac89adb44ae5 Resolve quantified noun binders 2026-07-27T22:32:04+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T22:32:04+00:00 urn:sha1:a3951b8f44398a95221ae13eb76d3b47bbd4246e Reject dependent replacement domains 2026-07-27T21:55:51+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T21:55:51+00:00 urn:sha1:a0153f8d9be8c6b4868df030ae3c4a43ac9ad51d Return typed errors for malformed proof shapes 2026-07-27T20:49:16+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T20:30:44+00:00 urn:sha1:48fc5025e4259896eb97b72ffec22aa6c8584ce2 Make abbreviations and definitions transactional 2026-07-27T20:12:57+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T19:35:56+00:00 urn:sha1:273cbcb55fa2b6ddec15129d0b205d3b6074bf25 Validate abbreviation parameters 2026-07-27T19:18:18+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-27T18:36:00+00:00 urn:sha1:3f38954d33954a79f8c2faa55a84c1ecbbe729f1 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