From 61f3dff44768924d05b4b48010efd1738a6b87b3 Mon Sep 17 00:00:00 2001 From: Evan Austin Date: Tue, 17 Feb 2015 12:33:34 -0600 Subject: [PATCH] Update README.md --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 3241f87..4d3e721 100644 --- 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.