From a904d471a86e66203167a888bc12ecbe0675cb22 Mon Sep 17 00:00:00 2001 From: jultty Date: Tue, 15 Apr 2025 17:20:05 -0300 Subject: [PATCH] New link: Introduction to Linear Types --- content/links/austral-introduction-to-linear-types.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 content/links/austral-introduction-to-linear-types.md diff --git a/content/links/austral-introduction-to-linear-types.md b/content/links/austral-introduction-to-linear-types.md new file mode 100644 index 0000000..0860769 --- /dev/null +++ b/content/links/austral-introduction-to-linear-types.md @@ -0,0 +1,6 @@ ++++ +title = "Introduction to Linear Types" +date = 2025-04-15T17:19:58-03:00 +[extra] +url = "https://austral-lang.org/linear-types" ++++