Update README.md

ecaustin · Feb 17, 2015 · d6d3af8 · d6d3af8
1 parent 4be057d
commit d6d3af8
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,2 +1,5 @@
 # haskhol-deductive
-HaskHOL libraries for higher level deductive reasoning.
+HaskHOL libraries for higher level deductive reasoning. See haskhol.org for more information.
+As a fair warning, this release is relatively stable, but heavily undocumented.
+
+Note:  Running plain `cabal build` has a tendency to cause simultaneous splicing of template haskell expressions.  This can create some resource locking errors during compilation due to the way HaskHOL currently utilizes acid-state and shelly.  To fix this problem, build with the -j1 flag, e.g. `cabal build -j1`.