felix.git/source/Checking/Datatype.hs, 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
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 legacy declaration batches
2026-07-28T07:51:21+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T07:51:21+00:00
urn:sha1:c195e3c6d142192ae258bcd2a6cde4b578100bff
Validate canonical datatype recursion
2026-07-27T17:50:15+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T17:37:44+00:00
urn:sha1:36c1bfc003168dbcec9832b411b3e9f993fc0657