From 66e5f469129bb248290616b010bffb2507c7eab3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Thu, 31 May 2018 02:00:29 +0200
Subject: [PATCH] Untabify readme

---
 README.md | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/README.md b/README.md
index b48314f..9efaed1 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ Building
 You can build the library with
 
     git submodule update --init
-	make
+    make
 
 The Makefile takes care of using the right dependencies.
 Unfortunately I have not found a way to automatically inform
@@ -42,11 +42,12 @@ in stead is to copy these libraries to a global location and then add
 them system wide:
 
     mkdir -p ~/.agda/libs
-	cd ~/.agda/libs
-	git clone $CAT/libs/std-lib
-	git clone $CAT/libs/cubical
-	echo << EOF | tee -a ~/.agda/libraries
-	$HOME/.agda/libs/agda-stdlib/standard-library.agda-lib
-	$HOME/.agda/libs/cubical/cubical.agda-lib
-	EOF
+    cd ~/.agda/libs
+    git clone $CAT/libs/std-lib
+    git clone $CAT/libs/cubical
+    echo << EOF | tee -a ~/.agda/libraries
+    $HOME/.agda/libs/agda-stdlib/standard-library.agda-lib
+    $HOME/.agda/libs/cubical/cubical.agda-lib
+    EOF
 
+Or you could symlink them as well if you want.