CheckMap.hs

3 years ago

lots of code reorganising and some deduplication · 6cfdefc3

stuebinm authored 3 years ago

it was kinda getting messy in places.

Also found some accidental isomorphisms between types, so these are now
only one type because the consequences were getting silly.

6cfdefc3

History

lots of code reorganising and some deduplication

stuebinm authored 3 years ago

it was kinda getting messy in places.

Also found some accidental isomorphisms between types, so these are now
only one type because the consequences were getting silly.

dn.py 11.06 KiB