From 02f9e5fdf847a3e32cc4b35f2c2fa9bd2963d269 Mon Sep 17 00:00:00 2001
From: Philip Wadler <wadler@inf.ed.ac.uk>
Date: Wed, 19 Jul 2017 14:53:12 +0100
Subject: [PATCH] cosmetic changes to index and README

---
 README.md | 8 ++++----
 index.md  | 2 ++
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 42f4e6a0..c68cba4a 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,7 @@ from Coq to Agda. The authors are
   http://homepages.inf.ed.ac.uk/wadler/
   )
 
-== How to host literal code
+## How to host literal code
 
 In directory `sf/` the following:
 
@@ -35,13 +35,13 @@ For markdown commands see [Daring Fireball](
 https://daringfireball.net/projects/markdown/syntax
 ).
 
-== Important git commands:
+## Important git commands:
 
     git pull
     git commit -am "message"
     git push
 
-== [Unicode abbreviations](
+## [Unicode abbreviations](
 https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
 ).
 
@@ -52,7 +52,7 @@ https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
 	x\_1   x₁
 	x\_i   xᵢ
 
-== Bindings for [Agda mode](
+## Bindings for [Agda mode](
 http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
 )
 
diff --git a/index.md b/index.md
index 807f0ff3..0aa92552 100644
--- a/index.md
+++ b/index.md
@@ -18,6 +18,8 @@ from Coq to Agda. The authors are
   http://homepages.inf.ed.ac.uk/wadler/
   )
 
+## Contents
+
 <!--
   - [Basics: Functional Programming in Agda]({{ "/Basics" | relative_url }})
 -->