diff options
| author | stuebinm | 2021-12-22 19:34:52 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-22 19:35:43 +0100 |
| commit | f3d0f937f8b5ae09a5a175daf72fda253627a116 (patch) | |
| tree | 07df7067b855eacffe0478eba7f798d15cf9cd70 /.gitignore | |
| parent | e2767b3b80cab6cd95831cb7045a496f4916ae9b (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 '')
0 files changed, 0 insertions, 0 deletions