fdilke/pyrites
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
82 Commits 2 Branches 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

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%