projects
/
cubicaltt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6653229
)
Fix ö
author
Anders Mörtberg
<andersmortberg@gmail.com>
Wed, 20 Jan 2016 14:00:09 +0000
(09:00 -0500)
committer
Anders Mörtberg
<andersmortberg@gmail.com>
Wed, 20 Jan 2016 14:00:09 +0000
(09:00 -0500)
README.md
patch
|
blob
|
blame
|
history
diff --git
a/README.md
b/README.md
index d96d4d49c134008b67213835e51df899db7dd868..4363c80673e92330e8cf154ce9ad0efe732ea085 100644
(file)
--- a/
README.md
+++ b/
README.md
@@
-105,7
+105,7
@@
References and notes
* [Cubical Type Theory: a constructive interpretation of the
univalence
axiom](http://www.math.ias.edu/~amortberg/papers/cubicaltt.pdf),
- Cyril Cohen, Thierry Coquand, Simon Huber, and Anders M
ö
rtberg
+ Cyril Cohen, Thierry Coquand, Simon Huber, and Anders M
ö
rtberg
* [Cubical Type
Theory](http://www.cse.chalmers.se/~coquand/face.pdf) - The