diff --git a/README.md b/README.md index d923a35..2a483aa 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,6 @@ # pyrites -A place for SGAI-related code experiments \ No newline at end of file +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.