-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.json
1 lines (1 loc) · 2.02 KB
/
package.json
1
{"name":"agda-explore","version":"0.0.1","description":"Big operators as exploration functions in Agda","main":"explore.agda","scripts":{"test":"echo \"Error: no test specified\" && exit 1"},"files":["README.md","distinct.agda","experimental-examples/combination.agda","experimental-examples/factorial.agda","explore.agda","horner.agda","lib/Explore/BigDistr.agda","lib/Explore/BinTree.agda","lib/Explore/Core.agda","lib/Explore/Dice.agda","lib/Explore/Examples.agda","lib/Explore/Experimental/3to2.agda","lib/Explore/Experimental/DataBitsCount.agda","lib/Explore/Experimental/DataBitsSearch.agda","lib/Explore/Experimental/DataBitsSum.agda","lib/Explore/Experimental/IsoRandomnessSplit.agda","lib/Explore/Experimental/Isos.agda","lib/Explore/Experimental/Maybe.agda","lib/Explore/Experimental/iso-probabilistic-reasoning.agda","lib/Explore/Experimental/pisearch.agda","lib/Explore/Explorable/Fun.agda","lib/Explore/Explorable.agda","lib/Explore/Fin.agda","lib/Explore/Function/Fin.agda","lib/Explore/Group.agda","lib/Explore/GuessingGameFlipping.agda","lib/Explore/Isomorphism.agda","lib/Explore/Monad.agda","lib/Explore/Old/Sum/sum-properties-setoid.agda","lib/Explore/Old/Sum/sum-properties.agda","lib/Explore/Old/Sum/sum-setoid.agda","lib/Explore/Old/Sum/sum.agda","lib/Explore/One.agda","lib/Explore/Product.agda","lib/Explore/Properties.agda","lib/Explore/README.agda","lib/Explore/Subset.agda","lib/Explore/Sum.agda","lib/Explore/Summable.agda","lib/Explore/TODO/Syntax.agda","lib/Explore/Two.agda","lib/Explore/Universe/Base.agda","lib/Explore/Universe/FromE.agda","lib/Explore/Universe/Logical.agda","lib/Explore/Universe/Type.agda","lib/Explore/Universe.agda","lib/Explore/Zero.agda"],"repository":{"type":"git","url":"https://github.com/crypto-agda/explore"},"keywords":["agda","library","big-operators","fold","foldable"],"author":"Nicolas Pouillard","license":"BSD3","bugs":{"url":"https://github.com/crypto-agda/explore/issues"},"homepage":"https://github.com/crypto-agda/explore","dependencies":{"agda-nplib":">= 0.0.1"},"agda":{"include":[".","lib"]}}