summaryrefslogtreecommitdiff
path: root/lib/CheckMap.hs
diff options
context:
space:
mode:
authorstuebinm2021-12-22 19:34:52 +0100
committerstuebinm2021-12-22 19:35:43 +0100
commitf3d0f937f8b5ae09a5a175daf72fda253627a116 (patch)
tree07df7067b855eacffe0478eba7f798d15cf9cd70 /lib/CheckMap.hs
parente2767b3b80cab6cd95831cb7045a496f4916ae9b (diff)
shorten Properties.hs
down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
Diffstat (limited to 'lib/CheckMap.hs')
0 files changed, 0 insertions, 0 deletions