From a409dd7ea7d6d363d5ef971526b81d95e6add51d Mon Sep 17 00:00:00 2001
From: JJ
Date: Sun, 28 Jan 2024 01:30:11 -0800
Subject: docs: add notices of caution to incomplete sections

---
 docs/ASYNC.md   | 2 ++
 docs/INTEROP.md | 2 ++
 docs/MODULES.md | 2 ++
 docs/TYPES.md   | 2 ++
 4 files changed, 8 insertions(+)

diff --git a/docs/ASYNC.md b/docs/ASYNC.md
index 87c602d..28a69da 100644
--- a/docs/ASYNC.md
+++ b/docs/ASYNC.md
@@ -1,5 +1,7 @@
 # Asynchronous Programming
 
+> ! This section is a **draft**. Many important details have yet to be ironed out.
+
 Puck has [colourless](https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/) async/await, heavily inspired by [Zig's implementation](https://kristoff.it/blog/zig-colorblind-async-await/).
 
 ```puck
diff --git a/docs/INTEROP.md b/docs/INTEROP.md
index f595afa..7eaed5f 100644
--- a/docs/INTEROP.md
+++ b/docs/INTEROP.md
@@ -1,5 +1,7 @@
 # Interop with Other Languages
 
+> ! This section is a **draft**. Many important details have yet to be ironed out.
+
 A major goal of Puck is _minimal-overhead language interoperability_ while maintaining type safety.
 
 There are three issues that complicate language interop:
diff --git a/docs/MODULES.md b/docs/MODULES.md
index bbce909..938e47e 100644
--- a/docs/MODULES.md
+++ b/docs/MODULES.md
@@ -1,5 +1,7 @@
 # Modules and Namespacing
 
+> ! This section is **incomplete**. Proceed with caution.
+
 Puck has a first-class module system, inspired by such expressive designs in the ML family.
 
 ## Using Modules
diff --git a/docs/TYPES.md b/docs/TYPES.md
index f666ce8..17d5d6a 100644
--- a/docs/TYPES.md
+++ b/docs/TYPES.md
@@ -1,5 +1,7 @@
 # Typing in Puck
 
+> ! This section **needs a rewrite**. Proceed with low standards.
+
 Puck has a comprehensive static type system, inspired by the likes of Nim, Rust, and Swift.
 
 ## Basic types
-- 
cgit v1.2.3-70-g09d2