Update more examples to not use Nat

This commit is contained in:
Richard Feldman 2024-01-21 17:02:08 -05:00
parent ef9623798b
commit 69f6d8e99a
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -13,7 +13,7 @@ interface Community
Community := {
people : List Person,
friends : List (Set Nat),
friends : List (Set U64),
}
implements [Inspect]
@ -81,4 +81,3 @@ walkFriendNames = \@Community { people, friends }, s0, nextFn ->
(nextFn s1 personName friendNames, id + 1)
out