Copyright | (c) Mihai Codescu, and Uni Bremen 2002-2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | mcodescu@informatik.uni-bremen.de |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
CASL signature colimits, computed component-wise. Supposed to be working for CASL extensions as well. based on http://www.informatik.uni-bremen.de/~till/papers/colimits.ps