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 14:22:49 +00:00
2f911a9f39 simplified addFact
fdilke pushed to main at fdilke/pyrites 2026-01-30 12:53:45 +00:00
b8db9477c0 lift addFact
fdilke pushed to main at fdilke/pyrites 2026-01-30 12:08:33 +00:00
e01a1ba3df digestBody uses the typeclass
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