Hello, I am wondering if there is a way to type-check for uniqueness within Dhall, and how would it be recommended to be done.
For example, given a list of IP addresses, how would I check that the list contains no duplicates.
Extending on this, if given a list of records containing IP addresses, how could I efficiently check that these IP addresses are unique?
Can the type system be used for this?
Thanks.