From 68294adbbd331dc3e5f7eb86eead5ec91d762e66 Mon Sep 17 00:00:00 2001 From: Arthur Jochems Date: Tue, 12 Aug 2025 11:21:57 +0200 Subject: [PATCH] Fix link rot for "What is Gradual Typing?" article --- lang-guide/chapters/types/00_types_overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lang-guide/chapters/types/00_types_overview.md b/lang-guide/chapters/types/00_types_overview.md index 142596aa3b5..91f1298e7bd 100644 --- a/lang-guide/chapters/types/00_types_overview.md +++ b/lang-guide/chapters/types/00_types_overview.md @@ -7,4 +7,4 @@ Nu is strongly typed and gradually typed. - **Strongly typed:** Types are strictly enforced. - **Gradually typed:** A mix between static (types are checked at compile time) type checks and dynamic (types are checked at runtime). - Gradual typing is a clarification of optional typing where the developer could choose or not choose to add type annotations to declarations. This paper from Jeremy Siek is here: [What is Gradual Typing?](https://wphomes.soic.indiana.edu/jsiek/what-is-gradual-typing/) + Gradual typing is a clarification of optional typing where the developer could choose or not choose to add type annotations to declarations. This paper from Jeremy Siek is here: [What is Gradual Typing?](https://jsiek.github.io/home/WhatIsGradualTyping.html)