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