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 11:55:12 +00:00
fb2699624f eliminated duplicate variable lookup
fdilke pushed to main at fdilke/pyrites 2026-01-28 11:49:24 +00:00
f2e68a455e tests green
fdilke pushed to main at fdilke/pyrites 2026-01-28 10:06:45 +00:00
e5fc523d92 still tidier, broken
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