Check

2022-11-27 00:30:40 +11:00
parent 45edc3e622
commit 58ee2c39a6
1 changed files with 7 additions and 0 deletions
--- a/book/src/language-tour/check.md
+++ b/book/src/language-tour/check.md
@@ -1 +1,8 @@
 # Check
+
+Check is faster than assert but has weaker guarantees.
+You can unpack (1-match) data in a check.
+
+```gleam
+check Some(x) = Option(Int)
+```