Go to file

Felix Dilke 3003a92807 Merge pull request 'Claude attempts to do a routine rename' (#1 ) from claude-renaming into main

Reviewed-on: #1

2026-01-30 15:43:27 +00:00

2026-01-12 18:01:36 +00:00

Claude renames

2026-01-30 15:39:17 +00:00

.gitignore

2026-01-12 15:21:49 +00:00

LICENSE

Initial commit

2026-01-12 10:47:18 +00:00

README.md

updated README

2026-01-12 10:51:05 +00:00

pyrites

A place for SGAI-related code experiments, hence the extremely modest name

Initial work will be upskilling on Agda and lexing/parsing in Haskell for experimental database query languages relevant to Datalog.

Languages

Haskell 89.9%

Agda 7.4%

Shell 1.5%

Nix 1.1%

Roff 0.1%