Resources-about-z3.md

@@ -5,4 +5,5 @@ Various resources found while trying to understand z3:
 - https://stackoverflow.com/questions/13930013/equivalence-checking-with-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
\ No newline at end of file
+- 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