Updated README with link to browsable code

mr-ohman · Dec 8, 2016 · 3ce56fd · 3ce56fd
1 parent 6c155f3
commit 3ce56fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,7 @@
 # A Logical Relation for Martin-Löf Type Theory in Agda #
 
 This is a project to formalize a proof of the decidability of conversion of a dependently typed language in Agda.
+The source code can be browsed in HTML [here](https://mr-ohman.github.io/logrel-mltt/).
 
 ### Dependencies ###