some additional operations relating to the PLT adjunction
some additional operations relating to the PLT adjunction

Ignore-this: db8eec6e3f74cce3acb67d2b660b104e

darcs-hash:20140420020351-f399b-4a49592aaff0bb52229f4f29db204784230705a5

robdockins/domains