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" ++++