exploreBig operators as exploration functions in AgdaPlease use the module Explore/README.agda as a starting point5 keywords1 dependency2 dependents1 versionagdalibrarybig-operatorsfoldfoldableagda-nplib@everything-registry/sub-chunk-1105@zalastax/nolb-agd0.0.19 years ago