diff options
Diffstat (limited to 'setoid.ipkg')
| -rw-r--r-- | setoid.ipkg | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/setoid.ipkg b/setoid.ipkg new file mode 100644 index 0000000..06cdc2a --- /dev/null +++ b/setoid.ipkg @@ -0,0 +1,58 @@ +package setoid +version = 0.1.0 +authors = "Ohad Kammar" +-- maintainers = +-- license = +-- brief = +-- readme = +-- homepage = +-- sourceloc = +-- bugtracker = + +-- the Idris2 version required (e.g. langversion >= 0.5.1) +-- langversion + +-- packages to add to search path +depends + = contrib + +-- modules to install +modules + = Data.Setoid + , Data.Setoid.Definition + , Data.Setoid.Either + , Data.Setoid.Pair + , Data.Setoid.Vect + , Data.Setoid.Vect.Functional + , Data.Setoid.Vect.Inductive + , Data.Setoid.List + , Syntax.PreorderReasoning.Setoid + , Data.Fun.Nary + +-- main file (i.e. file to load at REPL) +-- main = + +-- name of executable +-- executable = +-- opts = +sourcedir = "src" +-- builddir = +-- outputdir = + +-- script to run before building +-- prebuild = + +-- script to run after building +-- postbuild = + +-- script to run after building, before installing +-- preinstall = + +-- script to run after installing +-- postinstall = + +-- script to run before cleaning +-- preclean = + +-- script to run after cleaning +-- postclean = |