explore

Big operators as exploration functions in Agda

Please use the module Explore/README.agda as a starting point

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
experimental-examples		experimental-examples
experiments		experiments
gup		gup
haskell		haskell
lib/Explore		lib/Explore
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
agda-pkg.conf		agda-pkg.conf
all.do		all.do
explore.agda		explore.agda
explore.hs		explore.hs
notes		notes
package.coffee		package.coffee
package.json		package.json

Provide feedback