diff options
Diffstat (limited to 'stdlib/source/documentation/lux.lux')
-rw-r--r-- | stdlib/source/documentation/lux.lux | 5 |
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) |