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.

Description
A place for SGAI-related code experiments
Readme CPL-1.0 685 KiB
Languages
Haskell 88%
Agda 8.8%
Shell 1.7%
Nix 1.3%
Roff 0.2%