npm.io

Big-operators Packages

agda-explore

Big operators as exploration functions in Agda

agda library big-operators fold foldable

0.0.1 • Published 10 years ago

contact@npm.io