SpindleyQ/edtris
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
27 commits 1 branch 0 tags 10 MiB
Commit graph

5 commits

Author SHA1 Message Date
Jeremy Penner fd3fcbd978 integrate sqlite, reorganize code 
* diet-sqlite - a cleaned-up, slightly updated, and de-ooped version of
  https://github.com/Wiladams/LJIT2SQLite
* rename waltz -> sqlog
* separate compiler from driver
* introduce uniform syntax for actions
 2022-03-29 13:24:34 -04:00
Jeremy Penner ea5da24813 implement insert and delete 2022-03-27 16:23:28 -04:00
Jeremy Penner 6d46d0f638 implement math, tweak syntax 2022-03-27 12:26:26 -04:00
Jeremy Penner e1e0e168b6 implement inference rules 2022-03-27 00:10:37 -04:00
Jeremy Penner c25cb5d292 sqlog starts to generate some reasonable queries 2022-03-26 12:11:55 -04:00