Cale Gibbard cale
0 Followers · 0 Following
  • Joined on 2020-11-15
Repositories
3
 Projects Packages Public Activity Starred Repositories
cale pushed to master at cale/toy-datalog-web 2026-01-26 17:42:44 +00:00
f7dc1f551b Make it so that ob run will work without the thunk unpacked, fix the cabal dependencies, and update the toy-datalog thunk to latest.
cale pushed to master at cale/toy-datalog 2026-01-26 17:36:57 +00:00
f2161013e4 Comment out non-working executable in cabal file for now.
cale pushed to master at cale/toy-datalog 2026-01-26 17:19:45 +00:00
a775f753e0 Fix a bug in projectTuple where it wasn't ensuring that variables that appeared multiple times were bound to the same thing in the resulting set of tuples.
cale created branch master in cale/toy-datalog-web 2026-01-22 18:40:42 +00:00
cale pushed to master at cale/toy-datalog-web 2026-01-22 18:40:42 +00:00
f11d74147d Initial commit, we have a basic UI that lets you edit a toy-datalog program and conjunctive query and see results live.
cale created repository cale/toy-datalog-web 2026-01-22 18:40:26 +00:00
cale pushed to master at cale/toy-datalog 2026-01-22 18:37:55 +00:00
c09e07042b Fix parsing of constants (no longer allow empty string or uppercase start).
cale pushed to master at cale/toy-datalog 2026-01-16 06:27:39 +00:00
0730e7163d Update changelog
cale pushed to master at cale/toy-datalog 2026-01-16 06:05:26 +00:00
3ed2a84cce Add basic evaluation, improved testing, some facilities to help testing by hand at ghci prompt
cale pushed to master at cale/toy-datalog 2026-01-12 21:11:24 +00:00
9dd48b46af Initial commit with basic datalog parser and abstract syntax
cale created branch master in cale/toy-datalog 2026-01-12 21:11:24 +00:00
cale created repository cale/toy-datalog 2026-01-12 21:11:01 +00:00
cale pushed to master at cale/chk-test 2023-02-22 15:51:52 +00:00
0e0a9143e9 Add reflex-material
cale pushed to master at cale/chk-test 2023-02-08 18:17:15 +00:00
775ccda5d7 More adjustments to make the nixpkgs overlays available from the top level and repl.
cale pushed to master at cale/chk-test 2023-02-08 17:30:12 +00:00
e73176941d Bypass testsuite on tahoe-chk as it seems to try to allocate a large block of memory and dies.
cale pushed to master at cale/chk-test 2023-02-08 17:25:10 +00:00
ec10835e7b Fix base32 override, sorry!
cale pushed to master at cale/chk-test 2023-02-08 15:26:21 +00:00
ffe35573b8 Add an example of adding nixpkgs overlays and some work toward obtaining libchallenge-bypass-ristretto.
cale pushed to master at cale/chk-test 2023-02-08 15:23:44 +00:00
956bfa4a0e Some slight tidying of comments.
cale pushed to master at cale/chk-test 2023-02-08 15:20:08 +00:00
657c0fdb21 Add an example of adding nixpkgs overlays and some work toward obtaining libchallenge-bypass-ristretto.
cale pushed to master at cale/chk-test 2023-02-07 18:17:53 +00:00
2bfa91eca1 Initial commit