Skip to content

Commit

Permalink
relative link to pdf fails
Browse files Browse the repository at this point in the history
  • Loading branch information
davidcarlisle committed Nov 19, 2024
1 parent 21720f4 commit b7b0c8e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions standard/index.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.

0 comments on commit b7b0c8e

Please sign in to comment.