felix.git/source/Checking/Authority.hs, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-06T15:54:00+00:00
Migrate to `Felix` namespace
2026-08-06T15:54:00+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-06T15:54:00+00:00
urn:sha1:82328890108bae64b372b8d58620ebc62699de76
Complete named construction premise views
2026-08-04T22:37:40+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T22:37:40+00:00
urn:sha1:4945e81f121a8fc4dc15893ddf861e8b0dbd75df
Cleanup
2026-08-04T13:28:19+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-04T13:28:19+00:00
urn:sha1:959d4172cc1a8d264d0a870a8a93482b283bb264
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
Bind prepared request identity to execution mode
2026-07-31T15:06:43+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T15:03:56+00:00
urn:sha1:ea73604e78b6b1232efb9f729412d46d7ce95f6f
Keep datatype compilation authority inert
2026-07-31T15:00:31+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T15:00:31+00:00
urn:sha1:b2e7ad5d301b80cc0e75c08b6e98c720c3cb181e
Authorize exact datatype compilation batches
2026-07-31T13:53:41+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T13:41:27+00:00
urn:sha1:ccec09c6336e2783f2248c101440d33e038ff49e
Clarify fact safety accumulation
2026-07-31T12:25:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T12:25:38+00:00
urn:sha1:f35c5f2ffa2ac6c4d93c90544ffc7e1fff7f3af3
Keep validation records inert
2026-07-31T01:06:19+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T01:06:19+00:00
urn:sha1:a9bd73e0e8b41b8b05654b1ac19bf5432998f993
Define compact fact authority
2026-07-30T23:46:03+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-30T23:46:03+00:00
urn:sha1:1dc454ad9cc86f0ef014c0aeb78ddf5392f415d1