From d0f9cbd2ad29d1f4afb922586ec17ff6895a5795 Mon Sep 17 00:00:00 2001 From: John Bywater Date: Thu, 26 Oct 2017 14:00:36 +0100 Subject: [PATCH] Changed to link to use PDF in repo. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 916d1b1..3f56794 100644 --- 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