felix.git/source/Checking/Exact.hs, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T22:13:53+00:00Batch ready declaration obligations2026-08-03T22:13:53+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T22:13:53+00:00urn:sha1:a406a6423201d09477072829fe11c54a5f5c7652Shift contextual binders under exact binders2026-08-03T12:45:30+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T12:45:30+00:00urn:sha1:f782224783684216d98151772cb3833f4eb4122fSupport contextual exact abbreviations2026-08-03T12:05:35+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T12:05:35+00:00urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593Compile exact structure declarations2026-08-03T08:25:05+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T08:25:05+00:00urn:sha1:8bd79694585c510346c40df0e8b8196d6f03d529Support proof-local function graphs2026-08-03T06:55:22+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T06:55:22+00:00urn:sha1:ddeadab07f76514057f9be7a201cfb97fdfee688Support proof-local set definitions2026-08-03T01:14:05+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T01:13:08+00:00urn:sha1:6350a412cc16e88e4c23d8b2881705fced207468Resolve source application through apply2026-08-02T23:51:07+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T23:51:03+00:00urn:sha1:136a788268dbacf9285d2a25ea78fddd75a2318aCompile quantified exact noun subjects2026-08-02T23:18:24+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T23:18:24+00:00urn:sha1:4fa92d0d955abfc75a5f1fae558edd5f3fd6be2eLower relation expressions through ordered pairs2026-08-02T21:35:31+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T21:35:31+00:00urn:sha1:c87efa6d65e6b668742d6f33a677adad1a50f2f1Rewrite protected set and naturals closure2026-08-02T16:42:54+00:00adelon22380201+adelon@users.noreply.github.com2026-08-02T16:42:54+00:00urn:sha1:5f64079c4ec671de04971f38907805e9de514537