Felix Dilke fdilke
0 Followers · 0 Following
  • Joined on 2025-09-02
Repositories
1
 Projects Packages Public Activity Starred Repositories
fdilke pushed to main at fdilke/pyrites 2026-01-28 10:02:29 +00:00
3a5a70fbde equally broken but tidier
fdilke pushed to main at fdilke/pyrites 2026-01-27 18:40:08 +00:00
95e81faa7c broken test: failing to look up Z
fdilke pushed to main at fdilke/pyrites 2026-01-27 18:01:33 +00:00
43e7d8afed minor fix
fdilke pushed to main at fdilke/pyrites 2026-01-27 17:55:23 +00:00
429d64ee73 extracting variable names in a rule
fdilke pushed to main at fdilke/pyrites 2026-01-27 17:33:48 +00:00
4b358a8d6f style fixes
fdilke pushed to main at fdilke/pyrites 2026-01-27 17:27:37 +00:00
94bc4f1faa more tidying
fdilke pushed to main at fdilke/pyrites 2026-01-27 17:27:22 +00:00
80024a533e hlint-induced tidyings
fdilke pushed to main at fdilke/pyrites 2026-01-27 16:41:36 +00:00
9fc3cc9fa0 refactoring (broken test!)
fdilke pushed to main at fdilke/pyrites 2026-01-27 16:19:05 +00:00
b982072281 minor tidyings
fdilke pushed to main at fdilke/pyrites 2026-01-27 16:08:39 +00:00
7126f0e75b refactored digestHead ; it didn't need a rule context as input
fdilke pushed to main at fdilke/pyrites 2026-01-27 14:55:56 +00:00
210cae7ca6 creating a list of head variables for a rule
fdilke pushed to main at fdilke/pyrites 2026-01-27 14:23:02 +00:00
2102767367 renamings
fdilke pushed to main at fdilke/pyrites 2026-01-27 12:41:27 +00:00
7855e5ce20 added relation references
fdilke pushed to main at fdilke/pyrites 2026-01-27 11:53:05 +00:00
585da9f794 contributions from Claude: a diagram and summary
fdilke pushed to main at fdilke/pyrites 2026-01-26 18:28:18 +00:00
b8e166d867 fixed relation tuples
fdilke pushed to main at fdilke/pyrites 2026-01-26 12:25:48 +00:00
d8a1e2f9b1 simplifying tests
fdilke pushed to main at fdilke/pyrites 2026-01-26 12:20:22 +00:00
219ff26a90 added names for relations
fdilke pushed to main at fdilke/pyrites 2026-01-26 12:07:44 +00:00
04dcb4e8f7 tidying up rule data structures
fdilke pushed to main at fdilke/pyrites 2026-01-23 18:12:52 +00:00
42ce5a3284 ingesting rules correctly
fdilke pushed to main at fdilke/pyrites 2026-01-22 18:00:56 +00:00
925af95464 adding rules to relations