aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux.lux5
1 files changed, 0 insertions, 5 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 01614c02b..24ea6295c 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -301,11 +301,6 @@
($.comment "=>")
($.example #1))
- ($.definition /.type
- "Takes a type expression and returns its representation as data-structure."
- ($.example (type_literal (All (_ a)
- (Maybe (List a))))))
-
($.definition /.is
"The type-annotation macro."
($.example (is (List Int)