felix.git/package.yaml, branch hotg
Unnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg
2026-08-04T13:28:19+00:00
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
Add disposable SQLite store substrate
2026-07-31T19:00:33+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-31T19:00:33+00:00
urn:sha1:7bc977e811f69bf54f1d5c8126fbf13154fd8e71
Separate epoch cache encoding
2026-07-30T18:46:20+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-30T18:46:20+00:00
urn:sha1:d402fd3ba48f715e865970be3512e810044031d6
Establish canonical identity codecs
2026-07-30T18:28:24+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-30T18:28:24+00:00
urn:sha1:42465f6563269b3059fbf48b64aa271a3ae15a33
Freeze content-addressed migration inventory
2026-07-30T18:07:17+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-30T18:06:19+00:00
urn:sha1:68fb0afbec704cd4b779cdbcffed71afd8572535
Make parsed syntax deeply evaluable
2026-07-28T06:50:56+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-28T06:50:56+00:00
urn:sha1:48296f3022646d4e3ab2f7c32353a1ea4a67cfcf
Allocate task-local TPTP names
2026-07-27T17:50:15+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T15:59:05+00:00
urn:sha1:1a6f4ba1adc8e5f44d0b4973b6bcdb9b4e08de0f
Distinct target variable names exposed a replacement-condition scope lift that source-derived names had masked. Keep those variables under the replacement existential.
Return nonzero exits for verification failures
2026-07-27T16:19:29+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T14:19:24+00:00
urn:sha1:5170561da68cd444fd6fd61552547d97ba19009a
Expose resolved workspace parsing
2026-07-27T15:09:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T14:17:38+00:00
urn:sha1:f3e440c7ea29b8987122c977b1c05404c9b35217
Rename Haskell package to felix
2026-07-27T15:09:38+00:00
adelon
22380201+adelon@users.noreply.github.com
2026-07-27T00:35:04+00:00
urn:sha1:5bef66bf4b997299b24ff54367062a77b2818b83