haskell-dec 0.0.6-3

Devel-Extra
Page content

Description:

Decidable propositions

Files:

  • /usr/lib/ghc-9.12.2/site-local/dec-0.0.6/Data/Type/Dec.dyn_hi
  • /usr/lib/ghc-9.12.2/site-local/dec-0.0.6/Data/Type/Dec.hi
  • /usr/lib/ghc-9.12.2/site-local/dec-0.0.6/libHSdec-0.0.6-95PQWnD3os62wadUWrwIsm.a
  • /usr/lib/x86_64-linux-ghc-9.12.2-inplace/libHSdec-0.0.6-95PQWnD3os62wadUWrwIsm-ghc9.12.2.so
  • /usr/share/doc/haskell-dec-0.0.6/LICENSE
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/Data-Type-Dec.html
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/dec.haddock
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/doc-index.html
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/haddock-bundle.min.js
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/index.html
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/linuwial.css
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/meta.json
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/quick-jump.css
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/html/synopsis.png
  • /usr/share/doc/x86_64-linux-ghc-9.12.2-inplace/dec-0.0.6/LICENSE
  • /usr/share/haskell/haskell-dec/register.sh
  • /usr/share/haskell/haskell-dec/unregister.sh