diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-08-10 20:08:50 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-08-10 20:29:36 +0200 |
| commit | 04b57578655656eb13b3d41c91bd995702c27764 (patch) | |
| tree | df286f84626d8fbc4e0ddec4c9984962f2ebbb9e /src/Erebos/Pairing.hs | |
| parent | b455b9a68323d0faf3960a10d7846da520c9765c (diff) | |
Identity: implement lookupProperty using filterAncestors
Diffstat (limited to 'src/Erebos/Pairing.hs')
0 files changed, 0 insertions, 0 deletions