Comorphisms.hs revision e6ce7942f582ab8fa4df1fa329080f7aaf1be9f4
{- |
This folder contains various comorphisms (implemented using
the type class 'Logic.Comorphism.Comorphism'), which are then
collected to a logic graph in "Comorphisms.LogicGraph".
The latter is based on the list of logics collected in
The individual comorphisms are:
-}
module Comorphisms where