Closed gfixler closed 8 years ago
Taken from this post: https://groups.google.com/forum/#!topic/type-theory-study-group/j8r4Vo7Ww28
:+1:
(Updated manually to not have to deal with merge conflicts.)
Taken from this post: https://groups.google.com/forum/#!topic/type-theory-study-group/j8r4Vo7Ww28