diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2020-12-29 21:39:19 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2020-12-30 21:47:58 +0100 |
commit | cc132e005f974577c2ff782add7df8247c4eb541 (patch) | |
tree | 8fde890ef80e33fc1b4b81d4176d642157a29a12 /src/Identity.hs | |
parent | b2d1f57098ae12a22fe7511eb765c39158600d17 (diff) |
Discovery service
Diffstat (limited to 'src/Identity.hs')
-rw-r--r-- | src/Identity.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Identity.hs b/src/Identity.hs index 91bd04c..effa9e0 100644 --- a/src/Identity.hs +++ b/src/Identity.hs @@ -12,6 +12,7 @@ module Identity ( updateIdentity, updateOwners, sameIdentity, + unfoldOwners, finalOwner, displayIdentity, ) where |