diff options
| author | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-03 21:51:30 -0400 |
| commit | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (patch) | |
| tree | 957429c0a2ad850b3570492deabe054fb2ace63e /stdlib/source/program/aedifex/repository/identity.lux | |
| parent | e76add6e6f904677f5c09bb2a66dce283f1b848a (diff) | |
Unified tuple and record syntax.
Diffstat (limited to 'stdlib/source/program/aedifex/repository/identity.lux')
| -rw-r--r-- | stdlib/source/program/aedifex/repository/identity.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index 59d0fdcba..c4b974664 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -19,8 +19,8 @@ (type: .public Identity (Record - {#user User - #password Password})) + [#user User + #password Password])) (def: .public equivalence (Equivalence Identity) |