agda-explore (npm): Big operators as exploration functions in Agda
Keywords: agda|library|big-operators|fold|foldable