felix.git/source/Checking/Materialization.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
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
Reuse compiled declaration validation
2026-08-01T10:45:17+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T10:45:17+00:00
urn:sha1:05c64829d25464d83cde8fca31daf98f557d199f
Materialize sealed semantic imports
2026-08-01T01:00:45+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-08-01T01:00:45+00:00
urn:sha1:07060ac6c0710db2d848fc111f033119c5ccf65f
Remove inert candidate staging
2026-07-31T12:24:50+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T12:24:50+00:00
urn:sha1:2c8f0151b74abce536d990f71ada12c7364b4a92
Compact walking semantic deltas
2026-07-31T01:15:40+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T01:10:33+00:00
urn:sha1:0bb1c6f60bed8d3acd9dadbabb0488c43b048ac7
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
Validate fact materialization authority
2026-07-31T00:01:44+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T00:01:44+00:00
urn:sha1:73cd3b206ac09d4a741532b53926f9d1d94105b8