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|
|Dependencies||base (>=4.0 && <6) [details]|
|Uploaded||Sun Nov 6 15:17:39 UTC 2011 by MiguelMitrofanov|
|Downloads||1016 total (20 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees