From 891b1cfc82322f8017f0a4f6b707d6fe52024545 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 3 Sep 2021 21:51:30 -0400 Subject: Unified tuple and record syntax. --- stdlib/source/program/aedifex/repository/identity.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'stdlib/source/program/aedifex/repository/identity.lux') 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) -- cgit v1.2.3