From b7b0c8e6353f64eb3cd933b284ee7c8556b05829 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Tue, 19 Nov 2024 17:26:56 +0000 Subject: [PATCH] relative link to pdf fails --- standard/index.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/standard/index.md b/standard/index.md index 9db994c7..99cefac7 100644 --- a/standard/index.md +++ b/standard/index.md @@ -31,10 +31,10 @@ For further information, see the SCSCP page [here](scscp/). ## Associated Documents -* [A Type System For OpenMath](ecc.pdf). This document describes a formal type system +* [A Type System For OpenMath](https://openmath.org/standard/ecc.pdf). This document describes a formal type system with dependent function types and products, based on the Extended Calculus of Constructions, which can be used to augment the information in content dictionaries. -* [A Small OpenMath Type System](sts.pdf). As an alternative to the "ECC" type system we +* [A Small OpenMath Type System](https://openmath.org/standard/sts.pdf). As an alternative to the "ECC" type system we also propose a "Small Type System" that is a more light weight system, specifically designed to be used with OpenMath objects.