Resources-about-z3.md

@@ -9,6 +9,7 @@ Various resources found while trying to understand z3 better:
 - https://stackoverflow.com/questions/15758601/for-all-quantifier-in-z3
 - https://github.com/mrexodia/z3-haskell (git repository for the `Z3.Monad` module)
 - https://hackage.haskell.org/package/z3-4.1.1/docs/Z3-Monad.html (docs for `Z3.Monad`)
+- https://stackoverflow.com/questions/38538197/difference-between-z3-mk-forall-and-z3-mk-forall-const-in-c-api-for-z3
 
 ## Z3.Monad mkForall