--------------------------------------------------------------------- name: longboi version: 1.0.0 x-revision: 1 build-type: Simple cabal-version: >= 1.10 category: Data author: chessai maintainer: chessai1996@gmail.com license: MIT license-file: LICENSE homepage: https://github.com/chessai/longboi bug-reports: https://github.com/chessai/longboi/issues synopsis: Dependently-typed linked list implementation description: Length-indexed linked lists, a simple exercise in dependent types. extra-source-files: README.md tested-with: GHC == 8.2.1, GHC == 8.2.2 --------------------------------------------------------------------- source-repository head type: git branch: master location: https://github.com/chessai/longboi.git --------------------------------------------------------------------- library hs-source-dirs: src build-depends: base >= 4.9 && < 5.0 exposed-modules: Longboi default-language: Haskell2010 ---------------------------------------------------------------------