felix.git/source/Meaning.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-06T12:52:14+00:00Move to Felix namespace2026-08-06T12:52:14+00:00adelon22380201+adelon@users.noreply.github.com2026-08-06T12:52:14+00:00urn:sha1:55bdf59bba8994eeb02a755b7d0ba12af0f427bcMake finite-set literals intrinsic2026-08-05T20:18:50+00:00adelon22380201+adelon@users.noreply.github.com2026-08-05T20:18:50+00:00urn:sha1:84041116c7e9d8a3f5e6336c6d36dc39a8759ed6Reset gloss state at module boundaries2026-07-31T16:22:06+00:00adelon22380201+adelon@users.noreply.github.com2026-07-31T16:22:06+00:00urn:sha1:16febb8114629ee8e1fe1ce9e4ecb2611dda24acReject unsupported definite source forms2026-07-28T00:41:42+00:00adelon22380201+adelon@users.noreply.github.com2026-07-28T00:41:42+00:00urn:sha1:7c0d42f7c5d64eba3aeb917c8095ac89adb44ae5Reject unresolved quantified term holes2026-07-27T23:24:29+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T23:24:29+00:00urn:sha1:23e56079250e2fec1f7d9d24856a9d50e3528400Resolve quantified noun binders2026-07-27T22:32:04+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T22:32:04+00:00urn:sha1:a3951b8f44398a95221ae13eb76d3b47bbd4246eReject dependent replacement domains2026-07-27T21:55:51+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T21:55:51+00:00urn:sha1:a0153f8d9be8c6b4868df030ae3c4a43ac9ad51dReturn typed errors for malformed proof shapes2026-07-27T20:49:16+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T20:30:44+00:00urn:sha1:48fc5025e4259896eb97b72ffec22aa6c8584ce2Make abbreviations and definitions transactional2026-07-27T20:12:57+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T19:35:56+00:00urn:sha1:273cbcb55fa2b6ddec15129d0b205d3b6074bf25Validate abbreviation parameters2026-07-27T19:18:18+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T18:36:00+00:00urn:sha1:3f38954d33954a79f8c2faa55a84c1ecbbe729f1