Update README.md

ecaustin · Feb 17, 2015 · 61f3dff · 61f3dff
1 parent b238a25
commit 61f3dff
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,2 +1,6 @@
 # haskhol-math
-HaskHOL libraries for mathematical and structural reasoning.
+HaskHOL libraries for mathematical and structural reasoning.  See haskhol.org for more details.
+As a fair warning, these libraries are currently very unstable and very undocumented.
+
+See the readme from the `haskhol-deductive` repo for why this package needs to be built with `cabal build -j1`.
+You should also be sure you have something else to do while you wait for it to build, because it takes a decent amount of time.