diff options
Diffstat (limited to 'stdlib/source/library/lux/target/lua.lux')
-rw-r--r-- | stdlib/source/library/lux/target/lua.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux index 2c92e2c18..d8e1a9561 100644 --- a/stdlib/source/library/lux/target/lua.lux +++ b/stdlib/source/library/lux/target/lua.lux @@ -43,17 +43,17 @@ (primitive: .public (Code brand) Text - (implementation: .public equivalence + (def: .public equivalence (All (_ brand) (Equivalence (Code brand))) + (implementation + (def: (= reference subject) + (at text.equivalence = (representation reference) (representation subject))))) - (def: (= reference subject) - (at text.equivalence = (representation reference) (representation subject)))) - - (implementation: .public hash + (def: .public hash (All (_ brand) (Hash (Code brand))) - - (def: equivalence ..equivalence) - (def: hash (|>> representation (at text.hash hash)))) + (implementation + (def: equivalence ..equivalence) + (def: hash (|>> representation (at text.hash hash))))) (def: .public manual (-> Text Code) |