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||Wed Feb 1 12:15:17 UTC 2012 by MiguelMitrofanov|
|Downloads||1025 total (7 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees