link to public paper draft

Author: olynch

README.md

@@ -1,9 +1,9 @@
 # Element Model Type Theory
 
 This is a type theory for Lex^op, the opposite of the category of finite limit
-theories. The accompanying paper may be found at
-https://forest.topos.site/ocl-006Y.xml. The basic judgements of this type theory
-are the following.
+theories. The accompanying paper draft may be found at
+https://forest.topos.site/public/foreign-topos-ocl-006Y.xml. The basic
+judgements of this type theory are the following.
 
 We write a morphism in Lex^op from `C` to `D` as `C <-- D`, as it corresponds to
 a morphism `D --> C` in Lex.