felix.git/source/Checking/Structure.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
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
Make structure registration transactional
2026-07-27T16:19:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T14:23:12+00:00
urn:sha1:4a65f1430fdf3e8d75c36b5d74e07deb07b17f9e