felix.git/source/Checking/Exact/Inductive.hs, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-03T12:05:35+00:00
Support contextual exact abbreviations
2026-08-03T12:05:35+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-03T12:05:35+00:00
urn:sha1:9591cdf9ebaa5a0bd261a3586f161c4139ab7593
Locate invalid datatype premises
2026-08-02T09:49:59+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T09:34:54+00:00
urn:sha1:1a5a90ac0c8a88f4076cc77c82159609f92080e4
Prepare exact datatype declarations
2026-08-02T08:12:59+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T08:12:59+00:00
urn:sha1:e5961f2f7f9b06aed9deec4f1c534f07e8dd4184
Authorize exact guarded rule sets
2026-08-02T07:39:50+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T07:39:50+00:00
urn:sha1:bb84c7baa15d11d2d63721b1f975aac94dc0f211
Share exact primitive vocabulary
2026-08-02T07:39:16+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T07:39:16+00:00
urn:sha1:e3a24b91d137e00a1f7f6a9d2946bc301e9499c9
Prepare exact inductive declarations
2026-08-02T00:33:14+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-02T00:33:14+00:00
urn:sha1:d55d2416bc4f6a9aa055a17deae4fba0fe906316