diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux index ed5964589..ba0384442 100644 --- a/stdlib/source/library/lux/type.lux +++ b/stdlib/source/library/lux/type.lux @@ -135,7 +135,7 @@ ($_ text\compose module "." name) )) -## https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B2-reduction +... https://en.wikipedia.org/wiki/Lambda_calculus#%CE%B2-reduction (def: (reduced env type) (-> (List Type) Type Type) (case type @@ -180,7 +180,7 @@ (Equivalence Type) (def: (= x y) - (or (for {@.php false} ## TODO: Remove this once JPHP is gone. + (or (for {@.php false} ... TODO: Remove this once JPHP is gone. (is? x y)) (case [x y] [(#.Primitive xname xparams) (#.Primitive yname yparams)] @@ -439,7 +439,7 @@ (Parser Typed) (<>.and <code>.any <code>.any)) -## TODO: Make sure the generated code always gets optimized away. +... TODO: Make sure the generated code always gets optimized away. (syntax: .public (:sharing {type_vars ..type_parameters} {exemplar ..typed} {computation ..typed}) |