Update README.md

Author: cd1m0

README.md

@@ -1,2 +1,3 @@
 # sol-datalog
-An encoding from the solc-typed-ast into datalog
+
+This is a WIP attempt at encoding the Solidity AST directly into Datalog, and building analyses on top of it purely in Datalog. Built on top of [solc-typed-ast](https://github.com/Consensys/solc-typed-ast/).