Resources-about-z3.md

@@ -6,3 +6,4 @@ Various resources found while trying to understand z3:
 - https://leodemoura.github.io/files/qsmt.pdf
 - https://stackoverflow.com/questions/13199219/z3-quantifier-support
 - https://stackoverflow.com/questions/15758601/for-all-quantifier-in-z3
+- https://github.com/mrexodia/z3-haskell (git repository for the `Z3.Monad` module)
\ No newline at end of file