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||Fri Feb 3 09:04:37 UTC 2012 by MiguelMitrofanov|
|Downloads||910 total (10 in last 30 days)|
|Status||Docs uploaded by user|
Build status unknown [no reports yet]
For package maintainers and hackage trustees