The mix-arrows package
This package allows one to mix effects of two arrows into a single one, and get them back afterwards.
It was inspired by Wolfgang Jeltsch's lax package.
|Versions||0.1, 0.2, 1.0, 1.1, 1.2|
|Change log||None available|
|Dependencies||base (>=4.0 && <6) [details]|
|Uploaded||Sat Feb 4 11:35:07 UTC 2012 by MiguelMitrofanov|
|Downloads||814 total (31 in last 30 days)|
|Status||Docs uploaded by user|
Build status unknown [no reports yet]
For package maintainers and hackage trustees