Permalink
Browse files

Create a separate markdown README file.

  • Loading branch information...
1 parent 44721d1 commit 1f629bd6d8e7e1874671b68c62152cd6aa38b00c @favonia committed May 31, 2012
Showing with 20 additions and 1 deletion.
  1. +0 −1 README
  2. +20 −0 README.md
View
1 README
View
@@ -0,0 +1,20 @@
+# Introduction
+
+This repository hosts my Agda code for homotopy type theory.
+Homotopy type theory is a new type theory
+seeking the connections between (abstract) homotopy theory,
+type theory and category theory.
+For more information about this theory
+I recommend [this blog](http://homotopytypetheory.org).
+
+# Copyright
+
+Lots of code is copied from [Nil's repository](http://www.cse.chalmers.se/~nad/repos/equality/)
+(with my significant refactoring).
+We both released our code under [BSD 3](http://www.opensource.org/licenses/BSD-3-Clause).
+Please consider using open-source licenses in your derived work
+to maximize the availability and usefulness, thanks.
+
+# Documentation
+
+For an overview of the code, please take a look at `README.agda`.

0 comments on commit 1f629bd

Please sign in to comment.