From 87935ec6091467267a088a457473495cfe7ed3d7 Mon Sep 17 00:00:00 2001 From: Abbey Titcomb Date: Sun, 6 Oct 2019 19:35:42 +0900 Subject: [PATCH] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 20a755634..b210d37e9 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,7 @@ The behavior of the contracts is specified in a literate format at [dss.md](src/ An html version of the specification, together with links to in-browser symbolic execution previews, is available at [dapp.ci/k-dss](https://dapp.ci/k-dss) # Installation +WOW HELLO ## dependencies * klab. Installation instructions can be found at [klab](https://github.com/dapphub/klab).