Permalink
Browse files

NSF funding acknowledgment.

  • Loading branch information...
1 parent fcf14a9 commit 126a0b5412c802c9c9bbab6b4cf31364a55b6d71 @favonia committed Aug 14, 2014
Showing with 8 additions and 0 deletions.
  1. +8 −0 README.md
View
@@ -7,6 +7,14 @@ type theory and category theory.
For more information about this theory
I recommend [this blog](http://homotopytypetheory.org).
+# Acknowledgment
+
+This material is partially based upon work supported by the
+National Science Foundation under Grant Number 1116703. Any
+opinions, findings, and conclusions or recommendations expressed
+in this material are those of the author(s) and do not necessarily
+reflect the views of the National Science Foundation.
+
# Copyright
See `LICENSE.md` for more information.

0 comments on commit 126a0b5

Please sign in to comment.