Permalink
Browse files

Version name to reflect this is blog part I

  • Loading branch information...
1 parent 98145ff commit 633f894e1fc9d4add1070ef50f55038f8fc9c549 @andrejbauer andrejbauer committed Nov 8, 2012
Showing with 3 additions and 2 deletions.
  1. +2 −1 README.markdown
  2. +1 −1 version.ml
View
@@ -1,5 +1,6 @@
A minimalist implementation of type theory in fewer than 500 lines of Ocaml code,
-including comments.
+including comments. This version corresponds to the one described in the blog post
+[How to implement dependent type theory I](http://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/).
## The type theory
View
@@ -1 +1 @@
-let version = "0.0" ;;
+let version = "blog-part-I" ;;

0 comments on commit 633f894

Please sign in to comment.