diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/language/type/check.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/language/type/check.lux b/stdlib/source/lux/language/type/check.lux index 5fb8da617..b0bfbd643 100644 --- a/stdlib/source/lux/language/type/check.lux +++ b/stdlib/source/lux/language/type/check.lux @@ -1,15 +1,15 @@ (.module: {#.doc "Type-checking functionality."} lux - (lux (control [functor #+ Functor] - [apply #+ Apply] - [monad #+ do Monad] - ["ex" exception #+ exception:]) + (lux (control [functor (#+ Functor)] + [apply (#+ Apply)] + [monad (#+ do Monad)] + ["ex" exception (#+ exception:)]) (data [text "text/" Monoid<Text> Equivalence<Text>] [number "nat/" Codec<Text,Nat>] [maybe] [product] (collection [list] - [set #+ Set]) + [set (#+ Set)]) ["e" error]) (language [type "type/" Equivalence<Type>]) )) |