agda-exploreBig operators as exploration functions in Agdaagdalibrarybig-operatorsfoldfoldable0.0.1 • Published 9 years ago