updated README
This commit is contained in:
parent
bf59a7a4e1
commit
09ddf9556e
@ -1,3 +1,6 @@
|
|||||||
# pyrites
|
# pyrites
|
||||||
|
|
||||||
A place for SGAI-related code experiments
|
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.
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user