From 64cb6da7c84dd8b9c4486b22523286b656fd3eb6 Mon Sep 17 00:00:00 2001
From: Pepijn Kokke <pepijn.kokke@gmail.com>
Date: Fri, 10 Mar 2017 16:02:07 +0000
Subject: [PATCH] Rerendered and reorganized the *.md files; removed junk;
 centered equations.

---
 _includes/.#agda-extra-style.html | 1 -
 assets/main.scss                  | 4 ++++
 src/Basics.lagda                  | 4 +++-
 src/Maps.lagda                    | 4 +++-
 src/Stlc.lagda                    | 4 +++-
 src/StlcProp.lagda                | 4 +++-
 6 files changed, 16 insertions(+), 5 deletions(-)
 delete mode 120000 _includes/.#agda-extra-style.html

diff --git a/_includes/.#agda-extra-style.html b/_includes/.#agda-extra-style.html
deleted file mode 120000
index c1cf0361..00000000
--- a/_includes/.#agda-extra-style.html
+++ /dev/null
@@ -1 +0,0 @@
-pepijn@dhcp-90-071.inf.ed.ac.uk.69060
\ No newline at end of file
diff --git a/assets/main.scss b/assets/main.scss
index 97ccdc83..54e61e82 100644
--- a/assets/main.scss
+++ b/assets/main.scss
@@ -5,3 +5,7 @@
 @import "katex";
 @import "minima";
 @import "Agda";
+
+div.equation {
+	text-align: center;
+}
diff --git a/src/Basics.lagda b/src/Basics.lagda
index 0613b6e1..c1fa0511 100644
--- a/src/Basics.lagda
+++ b/src/Basics.lagda
@@ -1,5 +1,7 @@
 ---
-title : "Basics: Functional Programming in Agda"
+title     : "Basics: Functional Programming in Agda"
+layout    : page
+permalink : /Basics
 ---
 
 <div class="hidden">
diff --git a/src/Maps.lagda b/src/Maps.lagda
index b741c7ec..9d29a55f 100644
--- a/src/Maps.lagda
+++ b/src/Maps.lagda
@@ -1,5 +1,7 @@
 ---
-title : "Maps: Total and Partial Maps"
+title     : "Maps: Total and Partial Maps"
+layout    : page
+permalink : /Maps
 ---
 
 # Maps: Total and Partial Maps
diff --git a/src/Stlc.lagda b/src/Stlc.lagda
index 8270a0ba..444c814b 100644
--- a/src/Stlc.lagda
+++ b/src/Stlc.lagda
@@ -1,5 +1,7 @@
 ---
-title : "Stlc: The Simply Typed Lambda-Calculus"
+title     : "Stlc: The Simply Typed Lambda-Calculus"
+layout    : page
+permalink : /Stlc
 ---
 
 \begin{code}
diff --git a/src/StlcProp.lagda b/src/StlcProp.lagda
index f67a53d3..2475597f 100644
--- a/src/StlcProp.lagda
+++ b/src/StlcProp.lagda
@@ -1,5 +1,7 @@
 ---
-title : "StlcProp: Properties of STLC"
+title     : "StlcProp: Properties of STLC"
+layout    : page
+permalink : /StlcProp
 ---
 
 \begin{code}