Changed to link to use PDF in repo.

johnbywater · Oct 26, 2017 · d0f9cbd · d0f9cbd
1 parent f221aef
commit d0f9cbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -58,7 +58,7 @@ such as:
 
 The elements of the language can be freely composed into expressions of value. The validity of
 Monte Carlo simulation for all possible expressions in the language is
-[proven by induction](http://www.appropriatesoftware.org/quant/docs/quant-dsl-definition-and-proof.pdf).
+[proven by induction](./doc/quant-dsl-definition-and-proof.pdf).
 
 
 ### Syntax