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-30 11:24:49 +00:00
55b12f5c00 tidier digestHead
fdilke pushed to main at fdilke/pyrites 2026-01-30 11:07:45 +00:00
136412a4dd digestHead abstracts DatalogDB
fdilke pushed to main at fdilke/pyrites 2026-01-30 11:00:27 +00:00
6dda089bfe digestHead refactor
fdilke pushed to main at fdilke/pyrites 2026-01-30 10:55:22 +00:00
d8d2c51dec 'addConstants' API method
fdilke pushed to main at fdilke/pyrites 2026-01-30 10:47:31 +00:00
72f973c195 lift up addRule
fdilke pushed to main at fdilke/pyrites 2026-01-30 10:32:15 +00:00
15f84e414d tidying up dependencies
fdilke pushed to main at fdilke/pyrites 2026-01-30 10:27:30 +00:00
b997ee635e rearranging modules
fdilke pushed to main at fdilke/pyrites 2026-01-29 17:27:13 +00:00
f7d89f89c9 using typeclass APIs
fdilke pushed to main at fdilke/pyrites 2026-01-29 17:07:49 +00:00
6ae455886b using the typeclass
fdilke pushed to main at fdilke/pyrites 2026-01-29 17:02:30 +00:00
069733e474 adding typeclass APIs
fdilke pushed to main at fdilke/pyrites 2026-01-29 16:42:58 +00:00
fe899bbb0c introduce typeclass
fdilke pushed to main at fdilke/pyrites 2026-01-29 16:30:52 +00:00
0a1a39cfc9 introduce Rules module to factpr out the rule stuff
fdilke pushed to main at fdilke/pyrites 2026-01-29 15:07:18 +00:00
396ef53b12 sorted out rules engine, fixed bug about adding rules
fdilke pushed to main at fdilke/pyrites 2026-01-28 17:40:43 +00:00
76bbd1e13e correctly handling duplicate head entries
fdilke pushed to main at fdilke/pyrites 2026-01-28 16:45:04 +00:00
3c7c587045 tidying
fdilke pushed to main at fdilke/pyrites 2026-01-28 16:41:37 +00:00
c0a6a447cf supposed improvements to DatalogParser, from hlint
fdilke pushed to main at fdilke/pyrites 2026-01-28 12:39:36 +00:00
5c0cc77221 delinting with an h
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