Commit Graph

Select branches

Hide Pull Requests

claude-renaming

main

#1

Mono Color

• 0b98490756 basic API for query engines main Felix Dilke 2026-01-30 18:29:12 +00:00
• 697568a8c3 delinting Felix Dilke 2026-01-30 18:17:41 +00:00
• d75a6b054d dummy classes for the query engine Felix Dilke 2026-01-30 18:13:47 +00:00
• eb7c1b4110 made use of common settings Felix Dilke 2026-01-30 17:02:29 +00:00
• 7bc407536a commented out some experimental lookupdate methods that the world isn't quite ready for Felix Dilke 2026-01-30 16:32:49 +00:00
• 970afa2b61 sorting out the lookup functions Felix Dilke 2026-01-30 16:16:06 +00:00
• 05b6aefabe simplified language features and tests Felix Dilke 2026-01-30 16:07:23 +00:00
• 3003a92807 Merge pull request 'Claude attempts to do a routine rename' (#1) from claude-renaming into main Felix Dilke 2026-01-30 15:43:27 +00:00
• dbf54df171 Claude renames claude-renaming Felix Dilke 2026-01-30 15:39:17 +00:00
• 85e57325dc sorted imports Felix Dilke 2026-01-30 14:53:27 +00:00
• faefb3c2c7 tidying up imports Felix Dilke 2026-01-30 14:47:29 +00:00
• 6b3dae34f5 fairly drastic restructuring Felix Dilke 2026-01-30 14:46:09 +00:00
• 2828825f02 factored out addFact, addRule Felix Dilke 2026-01-30 14:37:45 +00:00
• b816bb4cae simplified addRule Felix Dilke 2026-01-30 14:28:51 +00:00
• 2f911a9f39 simplified addFact Felix Dilke 2026-01-30 14:22:46 +00:00
• b8db9477c0 lift addFact Felix Dilke 2026-01-30 12:53:40 +00:00
• e01a1ba3df digestBody uses the typeclass Felix Dilke 2026-01-30 12:08:29 +00:00
• 55b12f5c00 tidier digestHead Felix Dilke 2026-01-30 11:24:44 +00:00
• 136412a4dd digestHead abstracts DatalogDB Felix Dilke 2026-01-30 11:07:40 +00:00
• 6dda089bfe digestHead refactor Felix Dilke 2026-01-30 11:00:24 +00:00
• d8d2c51dec 'addConstants' API method Felix Dilke 2026-01-30 10:55:19 +00:00
• 72f973c195 lift up addRule Felix Dilke 2026-01-30 10:47:27 +00:00
• 15f84e414d tidying up dependencies Felix Dilke 2026-01-30 10:32:10 +00:00
• b997ee635e rearranging modules Felix Dilke 2026-01-30 10:27:26 +00:00
• f7d89f89c9 using typeclass APIs Felix Dilke 2026-01-29 17:27:11 +00:00
• 6ae455886b using the typeclass Felix Dilke 2026-01-29 17:07:44 +00:00
• 069733e474 adding typeclass APIs Felix Dilke 2026-01-29 17:02:27 +00:00
• fe899bbb0c introduce typeclass Felix Dilke 2026-01-29 16:42:53 +00:00
• 0a1a39cfc9 introduce Rules module to factpr out the rule stuff Felix Dilke 2026-01-29 16:30:47 +00:00
• 396ef53b12 sorted out rules engine, fixed bug about adding rules Felix Dilke 2026-01-29 15:07:14 +00:00
• 76bbd1e13e correctly handling duplicate head entries Felix Dilke 2026-01-28 17:40:40 +00:00
• 3c7c587045 tidying Felix Dilke 2026-01-28 16:45:01 +00:00
• c0a6a447cf supposed improvements to DatalogParser, from hlint Felix Dilke 2026-01-28 16:41:33 +00:00
• 5c0cc77221 delinting with an h Felix Dilke 2026-01-28 12:39:32 +00:00
• fb2699624f eliminated duplicate variable lookup Felix Dilke 2026-01-28 11:55:08 +00:00
• f2e68a455e tests green Felix Dilke 2026-01-28 11:49:21 +00:00
• e5fc523d92 still tidier, broken Felix Dilke 2026-01-28 10:06:40 +00:00
• 3a5a70fbde equally broken but tidier Felix Dilke 2026-01-28 10:02:25 +00:00
• 95e81faa7c broken test: failing to look up Z Felix Dilke 2026-01-27 18:40:05 +00:00
• 43e7d8afed minor fix Felix Dilke 2026-01-27 18:01:30 +00:00
• 429d64ee73 extracting variable names in a rule Felix Dilke 2026-01-27 17:55:19 +00:00
• 4b358a8d6f style fixes Felix Dilke 2026-01-27 17:33:44 +00:00
• 94bc4f1faa more tidying Felix Dilke 2026-01-27 17:27:32 +00:00
• 80024a533e hlint-induced tidyings Felix Dilke 2026-01-27 17:27:18 +00:00
• 9fc3cc9fa0 refactoring (broken test!) Felix Dilke 2026-01-27 16:41:33 +00:00
• b982072281 minor tidyings Felix Dilke 2026-01-27 16:19:00 +00:00
• 7126f0e75b refactored digestHead ; it didn't need a rule context as input Felix Dilke 2026-01-27 16:08:37 +00:00
• 210cae7ca6 creating a list of head variables for a rule Felix Dilke 2026-01-27 14:55:52 +00:00
• 2102767367 renamings Felix Dilke 2026-01-27 14:22:43 +00:00
• 7855e5ce20 added relation references Felix Dilke 2026-01-27 12:41:23 +00:00
• 585da9f794 contributions from Claude: a diagram and summary Felix Dilke 2026-01-27 11:52:59 +00:00
• b8e166d867 fixed relation tuples Felix Dilke 2026-01-26 18:28:15 +00:00
• d8a1e2f9b1 simplifying tests Felix Dilke 2026-01-26 12:25:44 +00:00
• 219ff26a90 added names for relations Felix Dilke 2026-01-26 12:20:19 +00:00
• 04dcb4e8f7 tidying up rule data structures Felix Dilke 2026-01-26 12:07:41 +00:00
• 42ce5a3284 ingesting rules correctly Felix Dilke 2026-01-23 18:12:47 +00:00
• 925af95464 adding rules to relations Felix Dilke 2026-01-22 18:00:52 +00:00
• 2f93c494be initial handling of rules Felix Dilke 2026-01-22 17:33:49 +00:00
• 5caf061fce tests for ingesting facts Felix Dilke 2026-01-22 14:25:09 +00:00
• 36622caf8b adjusting types, developing addFact Felix Dilke 2026-01-22 10:57:11 +00:00
• 52fad6e4a1 filling out the DB Felix Dilke 2026-01-21 18:01:06 +00:00
• 73aec57151 initial 'naive DB' API implementation Felix Dilke 2026-01-21 17:11:13 +00:00
• 2900e781a1 initial setup for NaiveDatabase Felix Dilke 2026-01-21 11:24:30 +00:00
• d31a01ab9c sorted out module organisation Felix Dilke 2026-01-21 10:59:57 +00:00
• b41c3926df parsing facts/rules/queries Felix Dilke 2026-01-20 17:52:55 +00:00
• 8744d97716 initial vibecoding experiment with Grok: generated a Datalog parser Felix Dilke 2026-01-20 16:49:53 +00:00
• e066e68818 tidying up, more tests Felix Dilke 2026-01-16 16:21:43 +00:00
• 41275dfc71 another arithmetic parser with variations on the theme Felix Dilke 2026-01-16 16:07:23 +00:00
• e462724482 add evaluation tests Patrick Aldis 2026-01-15 16:01:15 +00:00
• b603d9edf9 rename parseLiteral to parseTerm Patrick Aldis 2026-01-15 15:54:16 +00:00
• e437fd82c4 use makeExprParser for parsing Patrick Aldis 2026-01-15 15:49:32 +00:00
• cc3ed6a35d commit with infinitely recursing tests Felix Dilke 2026-01-15 10:15:07 +00:00
• 763cae02b7 parsing simple expressions Felix Dilke 2026-01-14 16:50:59 +00:00
• 81feb1aee3 revamped expressions Felix Dilke 2026-01-14 15:28:19 +00:00
• 6dda64b0cf complex expressions Felix Dilke 2026-01-14 12:39:15 +00:00
• f71984b647 basic arithmetic DSL Felix Dilke 2026-01-14 12:36:24 +00:00
• c9e8feacc9 added haskell scratch directory Felix Dilke 2026-01-14 11:39:47 +00:00
• f5b0c2b7c3 implementing 𝟙-induction Felix Dilke 2026-01-12 18:01:36 +00:00
• f809bde68d additional files Felix Dilke 2026-01-12 15:22:32 +00:00
• 2232600ed1 initial agda code with Owen's pseudocode from the Geolog lectures, and some universe library code from Escardo's book Felix Dilke 2026-01-12 15:21:49 +00:00
• 09ddf9556e updated README Felix Dilke 2026-01-12 10:51:05 +00:00
• bf59a7a4e1 Initial commit Felix Dilke 2026-01-12 10:47:18 +00:00