Index
HoleyMonoid | Data.HoleyMonoid |
later | Data.HoleyMonoid |
map | Data.HoleyMonoid |
now | Data.HoleyMonoid |
run | Data.HoleyMonoid |
HoleyMonoid-0.1: Monoids with holes.
Index
HoleyMonoid | Data.HoleyMonoid |
later | Data.HoleyMonoid |
map | Data.HoleyMonoid |
now | Data.HoleyMonoid |
run | Data.HoleyMonoid |