data/haskell-singletons-2.6/CHANGES.md: UTF-8 Unicode text data/haskell-singletons-2.6/LICENSE: ASCII text data/haskell-singletons-2.6/README.md: ASCII text data/haskell-singletons-2.6/Setup.hs: ASCII text data/haskell-singletons-2.6/singletons.cabal: ASCII text data/haskell-singletons-2.6/src/Data/Singletons.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/CustomStar.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Decide.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Bounded.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Enum.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Foldable.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Functor.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Infer.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Ord.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Show.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Traversable.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Deriving/Util.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Internal.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Names.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Partition.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Applicative.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Base.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Bool.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Const.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Either.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Enum.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Eq.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Foldable.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Function.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Functor.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Identity.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Instances.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/IsString.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/List.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/List/Internal.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/List/Internal/Disambiguation.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/List/NonEmpty.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Maybe.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Monad.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Monad/Fail.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Monad/Internal.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Monad/Zip.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Monoid.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Num.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Ord.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Semigroup.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Semigroup/Internal.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Show.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Traversable.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Tuple.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Prelude/Void.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Promote.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Promote/Defun.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Promote/Eq.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Promote/Monad.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Promote/Type.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/ShowSing.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Sigma.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Single.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Single/Data.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Single/Defun.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Single/Eq.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Single/Fixity.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Single/Monad.hs: UTF-8 Unicode text data/haskell-singletons-2.6/src/Data/Singletons/Single/Type.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/SuppressUnusedWarnings.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Syntax.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/TH.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/TypeError.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/TypeLits.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/TypeLits/Internal.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/TypeRepTYPE.hs: ASCII text data/haskell-singletons-2.6/src/Data/Singletons/Util.hs: UTF-8 Unicode text data/haskell-singletons-2.6/tests/ByHand.hs: ASCII text data/haskell-singletons-2.6/tests/ByHand2.hs: ASCII text data/haskell-singletons-2.6/tests/SingletonsTestSuite.hs: ASCII text data/haskell-singletons-2.6/tests/SingletonsTestSuiteUtils.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/GradingClient/Database.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/GradingClient/Database.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/GradingClient/Main.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/GradingClient/Main.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/InsertionSort/InsertionSortImp.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/InsertionSort/InsertionSortImp.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Constructors.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Constructors.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/GenDefunSymbols.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/GenDefunSymbols.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Newtypes.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Newtypes.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Pragmas.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Pragmas.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Prelude.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/Prelude.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/T180.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/T180.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/T361.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Promote/T361.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/AsPattern.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/AsPattern.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BadBoundedDeriving.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BadBoundedDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BadEnumDeriving.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BadEnumDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BoundedDeriving.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BoundedDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BoxUnBox.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/BoxUnBox.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/CaseExpressions.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/CaseExpressions.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Classes.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Classes.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Classes2.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Classes2.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Contains.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Contains.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/DataValues.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/DataValues.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Empty.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Empty.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EmptyShowDeriving.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EmptyShowDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EnumDeriving.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EnumDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EqInstances.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/EqInstances.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Error.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Error.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Fixity.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Fixity.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/FunDeps.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/FunDeps.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/FunctorLikeDeriving.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/FunctorLikeDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/HigherOrder.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/HigherOrder.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LambdaCase.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LambdaCase.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Lambdas.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Lambdas.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LambdasComprehensive.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LambdasComprehensive.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LetStatements.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/LetStatements.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Maybe.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Maybe.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Nat.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Nat.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/NatSymbolReflexive.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/NatSymbolReflexive.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Operators.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Operators.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/OrdDeriving.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/OrdDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/OverloadedStrings.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/OverloadedStrings.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PatternMatching.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PatternMatching.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PolyKinds.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PolyKinds.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PolyKindsApp.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/PolyKindsApp.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Records.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Records.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/ReturnFunc.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/ReturnFunc.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Sections.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Sections.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/ShowDeriving.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/ShowDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/StandaloneDeriving.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/StandaloneDeriving.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Star.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Star.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T124.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T124.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T136.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T136.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T136b.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T136b.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T145.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T145.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T153.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T153.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T157.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T157.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T159.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T159.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T160.ghc88.template: UTF-8 Unicode text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T160.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T163.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T163.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T166.ghc88.template: UTF-8 Unicode text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T166.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T167.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T167.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T172.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T172.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T175.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T175.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T176.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T176.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T178.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T178.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T183.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T183.hs: UTF-8 Unicode text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T184.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T184.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T187.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T187.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T190.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T190.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T197.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T197.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T197b.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T197b.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T200.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T200.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T206.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T206.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T209.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T209.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T216.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T216.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T226.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T226.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T229.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T229.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T249.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T249.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T271.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T271.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T287.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T287.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T29.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T29.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T297.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T297.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T312.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T312.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T313.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T313.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T316.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T316.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T322.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T322.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T323.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T323.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T33.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T33.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T332.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T332.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T342.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T342.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T353.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T353.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T358.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T358.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T367.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T367.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T371.ghc88.template: ASCII text, with very long lines data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T371.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T376.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T376.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T402.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T402.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T54.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T54.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T78.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/T78.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/TopLevelPatterns.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/TopLevelPatterns.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/TypeRepTYPE.ghc88.template: empty data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/TypeRepTYPE.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Undef.ghc88.template: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/Singletons/Undef.hs: ASCII text data/haskell-singletons-2.6/tests/compile-and-dump/buildGoldenFiles.awk: ASCII text data/haskell-singletons-2.6/debian/changelog: ASCII text data/haskell-singletons-2.6/debian/compat: ASCII text data/haskell-singletons-2.6/debian/control: ASCII text data/haskell-singletons-2.6/debian/copyright: ASCII text data/haskell-singletons-2.6/debian/docs: ASCII text data/haskell-singletons-2.6/debian/rules: a /usr/bin/make -f script, ASCII text executable data/haskell-singletons-2.6/debian/source/format: ASCII text data/haskell-singletons-2.6/debian/watch: ASCII text data/haskell-singletons-2.6/.pc/.version: ASCII text data/haskell-singletons-2.6/.pc/.quilt_patches: ASCII text data/haskell-singletons-2.6/.pc/.quilt_series: ASCII text data/haskell-singletons-2.6/.pc/applied-patches: empty