From fc17ab793e271f947697d42c3f9300424ae6cf4c Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 22 Jul 2024 15:14:55 +0200 Subject: Initial with functions that horde-ad uses --- dependent-enummap.cabal | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 dependent-enummap.cabal (limited to 'dependent-enummap.cabal') diff --git a/dependent-enummap.cabal b/dependent-enummap.cabal new file mode 100644 index 0000000..8b3839b --- /dev/null +++ b/dependent-enummap.cabal @@ -0,0 +1,18 @@ +cabal-version: 3.0 +name: dependent-enummap +version: 0.1.0.0 +license: BSD-3-Clause +author: Tom Smeding +build-type: Simple + +library + exposed-modules: + Data.Dependent.EnumMap.Strict + build-depends: + base >=4.15, + containers, + dependent-sum, + some + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: -Wall -- cgit v1.2.3-70-g09d2