HoleyMonoid-0.1: Monoids with holes.

Index

HoleyMonoidData.HoleyMonoid
laterData.HoleyMonoid
mapData.HoleyMonoid
nowData.HoleyMonoid
runData.HoleyMonoid