• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for liquidhaskell-0.8.10.7 source tarball

liquidhaskell-0.8.10.7/

• .ghci
• CHANGES.md
• HLint.hs
• INSTALL.md
• LICENSE
• LICENSE_Z3
• MIRRORING_MODULES.md
• Makefile
• README.md
• Setup.hs
• Syntax.md
• TODO.EASY.md
• TODO.md
• appveyor-copy.bat
• appveyor.yml
• cabal.ghc9.project
• cabal.project
• cleanup
• liquid-fixpoint
• liquidhaskell.cabal
• nixpkgs.nix
• shell-stack.nix
• shell.nix
• stack.yaml
• stack.yaml.lock
• tests-by-syntax.md
• .circleci/
  • config.yml
• benchmarks/
  • NOTES.txt
  • base-4.5.1.0/
    • Foreign.hs
    • LICENSE
    • Numeric.hs
    • Prelude.hs
    • Setup.hs
    • aclocal.m4
    • base.cabal
    • config.guess
    • config.sub
    • configure
    • configure.ac
    • ieee-flpt.h
    • install-sh
    • Control/
      • Applicative.hs
      • Arrow.hs
      • Category.hs
      • Concurrent.hs
      • Exception.hs
      • Monad.hs
      • OldException.hs
      • Concurrent/
        • Chan.hs
        • MVar.hs
        • QSem.hs
        • QSemN.hs
        • SampleVar.hs
      • Exception/
        • Base.hs
      • Monad/
        • Fix.hs
        • Instances.hs
        • ST.hs
        • Zip.hs
        • ST/
          • Imp.hs
          • Lazy.hs
          • Safe.hs
          • Strict.hs
          • Unsafe.hs
          • Lazy/
            • Imp.hs
            • Safe.hs
            • Unsafe.hs
    • Data/
      • Bits.hs
      • Bool.hs
      • Char.hs
      • Complex.hs
      • Data.hs
      • Dynamic.hs
      • Either.hs
      • Eq.hs
      • Fixed.hs
      • Foldable.hs
      • Function.hs
      • Functor.hs
      • HashTable.hs
      • IORef.hs
      • Int.hs
      • Ix.hs
      • List.hs
      • Maybe.hs
      • Monoid.hs
      • Ord.hs
      • Ratio.hs
      • STRef.hs
      • String.hs
      • Traversable.hs
      • Tuple.hs
      • Typeable.hs
      • Typeable.hs-boot
      • Unique.hs
      • Version.hs
      • Word.hs
      • STRef/
        • Lazy.hs
        • Strict.hs
      • Typeable/
        • Internal.hs
        • Internal.hs-boot
    • Debug/
      • Trace.hs
    • Foreign/
      • C.hs
      • Concurrent.hs
      • ForeignPtr.hs
      • Marshal.hs
      • Ptr.hs
      • Safe.hs
      • StablePtr.hs
      • Storable.hs
      • C/
        • Error.hs
        • String.hs
        • Types.hs
      • ForeignPtr/
        • Imp.hs
        • Safe.hs
        • Unsafe.hs
      • Marshal/
        • Alloc.hs
        • Array.hs
        • Error.hs
        • Pool.hs
        • Safe.hs
        • Unsafe.hs
        • Utils.hs
    • GHC/
      • Arr.lhs
      • Base.lhs
      • Conc.lhs
      • ConsoleHandler.hs
      • Constants.hs
      • Desugar.hs
      • Enum.lhs
      • Environment.hs
      • Err.lhs
      • Err.lhs-boot
      • Event.hs
      • Exception.lhs
      • Exts.hs
      • Fingerprint.hs
      • Fingerprint.hs-boot
      • Float.lhs
      • Foreign.hs
      • ForeignPtr.hs
      • Handle.hs
      • IO.hs
      • IO.hs-boot
      • IOArray.hs
      • IOBase.hs
      • IORef.hs
      • Int.hs
      • List.lhs
      • MVar.hs
      • Num.lhs
      • PArr.hs
      • Pack.lhs
      • Ptr.lhs
      • Read.lhs
      • Real.lhs
      • ST.lhs
      • STRef.lhs
      • Show.lhs
      • Show.lhs-boot
      • Stable.lhs
      • Stack.hsc
      • Stats.hsc
      • Storable.lhs
      • TopHandler.lhs
      • Unicode.hs
      • Unicode.hs-boot
      • Weak.lhs
      • Windows.hs
      • Word.hs
      • Conc/
        • IO.hs
        • Signal.hs
        • Sync.lhs
        • Windows.hs
      • Event/
        • Array.hs
        • Clock.hsc
        • Control.hs
        • EPoll.hsc
        • IntMap.hs
        • Internal.hs
        • KQueue.hsc
        • Manager.hs
        • PSQ.hs
        • Poll.hsc
        • Thread.hs
        • Unique.hs
      • Fingerprint/
        • Type.hs
      • Float/
        • ConversionUtils.hs
        • RealFracMethods.hs
      • IO/
        • Buffer.hs
        • BufferedIO.hs
        • Device.hs
        • Encoding.hs
        • Encoding.hs-boot
        • Exception.hs
        • Exception.hs-boot
        • FD.hs
        • Handle.hs
        • Handle.hs-boot
        • IOMode.hs
        • Encoding/
          • CodePage.hs
          • Failure.hs
          • Iconv.hs
          • Latin1.hs
          • Types.hs
          • UTF16.hs
          • UTF32.hs
          • UTF8.hs
          • CodePage/
            • Table.hs
        • Handle/
          • FD.hs
          • FD.hs-boot
          • Internals.hs
          • Text.hs
          • Types.hs
    • System/
      • CPUTime.hsc
      • Environment.hs
      • Exit.hs
      • IO.hs
      • Info.hs
      • Mem.hs
      • Timeout.hs
      • Console/
        • GetOpt.hs
      • IO/
        • Error.hs
        • Unsafe.hs
      • Mem/
        • StableName.hs
        • Weak.hs
      • Posix/
        • Internals.hs
        • Internals.hs-boot
        • Types.hs
    • Text/
      • Printf.hs
      • Read.hs
      • Show.hs
      • ParserCombinators/
        • ReadP.hs
        • ReadPrec.hs
      • Read/
        • Lex.hs
      • Show/
        • Functions.hs
    • Unsafe/
      • Coerce.hs
    • cbits/
      • PrelIOUtils.c
      • WCsubst.c
      • Win32Utils.c
      • consUtils.c
      • iconv.c
      • inputReady.c
      • md5.c
      • primFloat.c
      • selectUtils.c
    • include/
      • CTypes.h
      • EventConfig.h
      • HsBase.h
      • HsBaseConfig.h
      • Typeable.h
      • WCsubst.h
      • consUtils.h
      • ieee-flpt.h
      • md5.h
  • bytestring-0.9.2.1/
    • count.py
    • count.sh
    • Data/
      • ByteString.T.hs
      • ByteString.hs
      • ByteString.hs.hquals
      • ByteString/
        • Char8.hs
        • Fusion.T.hs
        • Fusion.hs
        • Internal.hs
        • Lazy.hs
        • LazyZip.hs
        • Unsafe.hs
        • Lazy/
          • Char8.hs
          • Internal.hs
    • cbits/
      • fpstring.c
    • include/
      • fpstring.h
  • containers-0.5.0.0/
    • LICENSE
    • Setup.hs
    • containers.cabal
    • Data/
      • Graph.hs
      • IntMap.hs
      • IntSet.hs
      • Map.hs
      • Sequence.hs
      • Set.hs
      • StrictPair.hs
      • Tree.hs
      • IntMap/
        • Base.hs
        • Lazy.hs
        • Strict.hs
      • IntSet/
        • Base.hs
      • Map/
        • Base.hs
        • Base0.hs
        • Base00.hs
        • Base1.hs
        • Lazy.hs
        • Strict.hs
      • Set/
        • Base.hs
    • benchmarks/
      • IntMap.hs
      • IntSet.hs
      • Makefile
      • Map.hs
      • Sequence.hs
      • Set.hs
      • bench-cmp.pl
      • bench-cmp.sh
      • LookupGE/
        • IntMap.hs
        • LookupGE_IntMap.hs
        • LookupGE_Map.hs
        • Makefile
        • Map.hs
      • SetOperations/
        • Makefile
        • SetOperations-IntMap.hs
        • SetOperations-IntSet.hs
        • SetOperations-Map.hs
        • SetOperations-Set.hs
        • SetOperations.hs
    • include/
      • Typeable.h
    • tests/
      • Makefile
      • intmap-properties.hs
      • intset-properties.hs
      • map-properties.hs
      • seq-properties.hs
      • set-properties.hs
  • cse230/
    • LICENSE
    • README.md
    • src/
      • Week10/
        • Axiomatic.hs
        • BigStep.hs
        • Expressions.hs
        • Imp.hs
        • Lec_3_11.hs
        • Lec_3_15.hs
        • ProofCombinators.hs
        • STLC.lhs
        • State.hs
        • Verifier.hs
  • esop2013-submission/
    • Array.hs
    • Base.hquals
    • Base.hs
    • Fib.hs
    • GhcListSort.hs
    • ListSort.hs
    • Splay.hs
    • Toy.hs
    • count.py
    • count.sh
  • haskell16/
    • pos/
      • tmp/
        • MonoidPeano.hs
  • hmatrix-0.15.0.1/
    • Config.hs
    • LICENSE
    • Setup.lhs
    • hmatrix.cabal
    • examples/
      • bool.hs
      • data.txt
      • deriv.hs
      • error.hs
      • fitting.hs
      • inplace.hs
      • integrate.hs
      • kalman.hs
      • lie.hs
      • minimize.hs
      • monadic.hs
      • multiply.hs
      • ode.hs
      • parallel.hs
      • pca1.hs
      • pca2.hs
      • pinv.hs
      • plot.hs
      • root.hs
      • vector.hs
      • devel/
        • ej1/
          • functions.c
          • wrappers.hs
        • ej2/
          • functions.c
          • wrappers.hs
    • lib/
      • Data/
        • Packed.hs
        • Packed/
          • Development.hs
          • Foreign.hs
          • Internal.hs
          • Matrix.hs
          • Random.hs
          • ST.hs
          • Vector.hs
          • Internal/
            • Common.hs
            • Matrix.hs
            • Signatures.hs
            • Vector.hs
      • Graphics/
        • Plot.hs
      • Numeric/
        • Chain.hs
        • Container.hs
        • ContainerBoot.hs
        • Conversion.hs
        • GSL.hs
        • IO.hs
        • LinearAlgebra.hs
        • Matrix.hs
        • Vector.hs
        • GSL/
          • Differentiation.hs
          • Fitting.hs
          • Fourier.hs
          • Integration.hs
          • Internal.hs
          • Minimization.hs
          • ODE.hs
          • Polynomials.hs
          • Root.hs
          • Vector.hs
          • gsl-aux.c
          • gsl-ode.c
        • LinearAlgebra/
          • Algorithms.hs
          • LAPACK.hs
          • Util.hs
          • LAPACK/
            • lapack-aux.c
            • lapack-aux.h
          • Util/
            • Convolution.hs
  • icfp15/
    • MiniPosix.hs
    • neg/
      • Composition.hs
      • DBMovies.hs
      • DataBase.hs
      • IfM.hs
      • RIO.hs
      • Records.hs
      • TestM.hs
      • TwiceM.hs
      • WhileM.hs
    • pos/
      • Append.hs
      • CompareConstraints.hs
      • Composition.hs
      • CopyRec.hs
      • DBMovies.hs
      • DataBase.hs
      • Filter.lhs
      • FindRec.hs
      • FoldAbs.hs
      • ICFP15.lhs
      • IfM.hs
      • IfM2.hs
      • Incr-elim.hs
      • Incr.hs
      • Overview.lhs
      • Privileges.hs
      • RIO.hs
      • RIO2.hs
      • TestM.hs
      • TwiceM.hs
      • WhileM.hs
      • WhileTest.hs
      • dropwhile.hs
    • todo/
      • Append.T.hs
      • Dyn.hs
      • FindRec.hs
      • Reverse.hs
      • WhileM.hs
  • kmeans-0.1.2/
    • LICENSE
    • Setup.lhs
    • kmeans.cabal
    • Data/
      • KMeans.hs
      • KMeans.orig.hs
      • KMeans0.hs
  • llrbtree-0.1.1/
    • LICENSE
    • Setup.hs
    • llrbtree.cabal
    • Data/
      • Heap/
        • Binominal.hs
        • Leftist.hs
        • Skew.hs
        • Splay.hs
      • Set/
        • BUSplay.hs
        • LLRBTree.hs
        • RBTree-appel-height.hs
        • RBTree-appel.hs
        • RBTree-mini-color.hs
        • RBTree-mini.hs
        • RBTree-ord.hs
        • RBTree.hs
        • RBTree0.hs
        • Splay.hs
        • Splay0.hs
        • WBTree.hs
        • fixme.hs
  • nofib/
    • imaginary/
      • bernouilli/
        • Main.hs
      • digits-of-e1/
        • Main.lhs
      • digits-of-e2/
        • Main.lhs
      • exp3_8/
        • Main.hs
      • gen_regexps/
        • Main.hs
      • integrate/
        • Main.hs
      • paraffins/
        • Main.hs
      • primes/
        • Main.hs
      • queens/
        • Main.hs
      • rfib/
        • Main.hs
      • tak/
        • Main.hs
      • wheel-sieve1/
        • Main.hs
      • wheel-sieve2/
        • Main.hs
      • x2n1/
        • Main.hs
  • originals/
    • base-4.5.1.0.tar.gz
    • bytestring-0.9.0.2.tar.gz
    • containers-0.5.0.0.tar.gz
    • ghc-7.4.1.tgz
    • hmatrix-0.15.0.1.tar.gz
    • llrbtree-0.1.1.tar.gz
    • text-0.11.2.3.tar.gz
    • unordered-containers-0.2.1.0.tar.gz
    • vector-0.10.0.1.tar.gz
    • vector-0.9.1.tar.gz
    • vector-algorithms-0.5.4.2.tar.gz
    • wouter-swierstra-xmonad-7715ec2.zip
    • xmonad-0.10.tar.gz
  • popl18/
    • lib/
      • Helper.hs
      • Proves.hs
    • nople/
      • neg/
        • Ackermann.hs
        • Append.hs
        • ApplicativeList.hs
        • ApplicativeMaybe.hs
        • BasicLambdas.hs
        • Fibonacci.hs
        • FunctorList.hs
        • FunctorMaybe.hs
        • MapFusion.hs
        • MonadList.hs
        • MonadMaybe.hs
        • MonadReader.hs
      • pos/
        • Ackermann.hs
        • Append.hs
        • ApplicativeId.hs
        • ApplicativeList.hs
        • ApplicativeMaybe.hs
        • ApplicativeReader.hs
        • BasicLambdas.hs
        • Compose.hs
        • Euclide.hs
        • Fibonacci.hs
        • FoldrUniversal.hs
        • FunctorId.hs
        • FunctorList.hs
        • FunctorMaybe.hs
        • FunctorReader.NoExtensionality.hs
        • FunctorReader.hs
        • MapFusion.hs
        • MonadId.hs
        • MonadList.hs
        • MonadMaybe.hs
        • MonadReader.hs
        • MonoidList.hs
        • MonoidMaybe.hs
        • NatInduction.hs
        • NaturalDeduction.hs
        • Overview.hs
        • OverviewListInfix.hs
        • Peano.hs
        • Solver.hs
        • Unification.hs
      • todo/
        • Soundness.hs
    • ple/
      • pos/
        • Ackermann.hs
        • Append.hs
        • ApplicativeId.hs
        • ApplicativeList.hs
        • ApplicativeMaybe.hs
        • BasicLambdas.hs
        • Compose.hs
        • Euclide.hs
        • Fibonacci.hs
        • FoldrUniversal.hs
        • FunctorId.hs
        • FunctorList.hs
        • FunctorMaybe.hs
        • Lists.hs
        • MapFusion.hs
        • Maybe.hs
        • MonadId.hs
        • MonadList.hs
        • MonadMaybe.hs
        • MonoidList.hs
        • MonoidMaybe.hs
        • NatInduction.hs
        • NaturalDeduction.hs
        • Overview.hs
        • OverviewListInfix.hs
        • Peano.hs
        • Solver.hs
        • Unification.hs
  • sf/
    • Basics.hs
    • Induction.hs
    • InductionRJ.hs
    • Lists.hs
  • text-0.11.2.3/
    • LICENSE
    • LIQUID.txt
    • README.markdown
    • Setup.lhs
    • count.py
    • count.sh
    • tests-and-benchmarks.markdown
    • text.cabal
    • Data/
      • Text.hs
      • Text/
        • Array.hs
        • Axioms.hs
        • Encoding.hs
        • Foreign.hs
        • Fusion-debug.hs
        • Fusion.hs
        • IO.hs
        • Internal.hs
        • Lazy.hs
        • Private.hs
        • Read.hs
        • Search.hs
        • Unsafe.hs
        • UnsafeChar.hs
        • UnsafeShift.hs
        • Util.hs
        • Encoding/
          • Error.hs
          • Fusion.hs
          • Utf16.hs
          • Utf32.hs
          • Utf8.hs
          • Fusion/
            • Common.hs
        • Fusion/
          • CaseMapping.hs
          • Common.hs
          • Internal.hs
          • Size.hs
        • IO/
          • Internal.hs
        • Lazy/
          • Builder.hs
          • Encoding.hs
          • Fusion.hs
          • IO.hs
          • Internal.hs
          • Read.hs
          • Search.hs
          • Builder/
            • Functions.hs
            • Int.hs
            • RealFloat.hs
            • RealFloat/
              • Functions.hs
          • Encoding/
            • Fusion.hs
        • Unsafe/
          • Base.hs
    • cbits/
      • cbits.c
  • unordered-containers-0.2.1.0/
    • LICENSE
    • Setup.hs
    • unordered-containers.cabal
    • Data/
      • HashSet.hs
      • HashMap/
        • Array.hs
        • Base.hs
        • Lazy.hs
        • PopCount.hs
        • Strict.hs
        • UnsafeShift.hs
    • cbits/
      • popc.c
    • tests/
      • HashMapProperties.hs
      • HashSetProperties.hs
      • Regressions.hs
  • vector-0.10.0.1/
    • LICENSE
    • Setup.hs
    • vector.cabal
    • Data/
      • Vector.hs
      • Vector/
        • Generic.hs
        • Generic.nocpp.hs
        • Mutable.hs
        • Primitive.hs
        • Storable.hs
        • Unboxed.hs
        • Fusion/
          • Stream.hs
          • Util.hs
          • Stream/
            • Monadic.hs
            • Monadic.nocpp.hs
            • Size.hs
        • Generic/
          • Base.hs
          • Mutable.hs
          • New.hs
          • New.nocpp.hs
          • New0.hs
        • Internal/
          • Check.hs
        • Primitive/
          • Mutable.hs
          • Mutable.nocpp.hs
        • Storable/
          • Internal.hs
          • Mutable.hs
        • Unboxed/
          • Base.hs
          • Mutable.hs
    • include/
      • vector.h
    • internal/
      • GenUnboxTuple.hs
      • unbox-tuple-instances
  • vector-algorithms-0.5.4.2/
    • LICENSE
    • Setup.lhs
    • count.py
    • count.sh
    • liquid.sh
    • vector-algorithms.cabal
    • Data/
      • Vector/
        • Algorithms/
          • AmericanFlag.hs
          • Combinators.hs
          • Common.hs
          • Heap.hs
          • Insertion.hs
          • Intro.hs
          • Merge.hs
          • Optimal.hs
          • Radix.hs
          • Search.hs
          • Termination.hs
    • include/
      • vector.h
  • xmonad-0.10/
    • CONFIG
    • LICENSE
    • Main.hs
    • README
    • STYLE
    • Setup.lhs
    • TODO
    • XMonad.hs
    • xmonad.cabal
    • XMonad/
      • Config.hs
      • Core.hs
      • Layout.hs
      • LiquidStackSet.lhs
      • Main.hsc
      • ManageHook.hs
      • Operations.hs
      • StackSet.hs
    • man/
      • xmonad.1
      • xmonad.1.markdown
      • xmonad.hs
    • tests/
      • Properties.hs
      • loc.hs
    • util/
      • GenerateManpage.hs
  • xmonad-0.11/
    • XMonad/
      • StackSet.hs
    • tests/
      • Properties.txt
• devel/
  • Paths_liquidhaskell.hs
• docs/
  • blog/
    • 2013-01-01-refinement-types-101.lhs
    • 2013-01-27-refinements101-reax.lhs
    • 2013-01-31-safely-catching-a-list-by-its-tail.lhs
    • 2013-02-16-kmeans-clustering-I.lhs
    • 2013-02-17-kmeans-clustering-II.lhs
    • 2013-03-04-bounding-vectors.lhs
    • 2013-03-26-talking-about-sets.lhs
    • 2013-05-16-unique-zippers.lhs
    • 2013-05-24-unique-zipper.lhs
    • 2013-06-03-abstracting-over-refinements.lhs
    • 2013-07-29-putting-things-in-order.lhs
    • 2013-11-23-telling_lies.lhs
    • 2013-12-01-getting-to-the-bottom.lhs
    • 2013-12-02-getting-to-the-bottom.lhs
    • 2013-12-09-checking-termination.lhs
    • 2013-12-14-gcd.lhs
    • 2013-12-22-measuring-the-size-of-structures.lhs
    • 2013-12-24-lexicographic-termination.lhs
    • 2013-12-29-decreasing-expressions.lhs
    • 2014-02-11-the-advantage-of-measures.lhs
    • 2014-02-16-text-read.lhs
    • 2014-02-23-text-write.lhs
    • 2014-03-01-text-bug.lhs
    • 2014-05-28-pointers-gone-wild.lhs
    • 2014-08-15-a-finer-filter.lhs
    • 2015-01-30-okasakis-lazy-queue.lhs
    • 2015-06-13-bounded-refinement-types.lhs
    • 2016-09-01-normal-forms.lhs
    • 2016-09-18-refinement-reflection.lhs
    • 2016-10-06-structural-induction.lhs
    • 2016-12-25-isomorphisms.lhs
    • 2017-01-06-reductions.lhs
    • 2017-03-20-arithmetic-overflows.lhs
    • 2017-12-15-splitting-and-splicing-intervals-I.lhs
    • 2017-12-24-splitting-and-splicing-intervals-II.lhs
    • 2018-02-23-measures-and-case-splitting.lhs
    • 2018-05-17-hillel-verifier-rodeo-I-leftpad.lhs
    • 2020-04-12-polymorphic-perplexion.lhs
    • 2020-08-20-lh-as-a-ghc-plugin.lhs
    • todo/
      • Iso.lhs
      • LambdaEval.hs
      • Termination.hs
      • TextBug.lhs
      • TextInternal.lhs
      • TextRead.lhs
      • TextWrite.lhs
      • basic_termination.lhs
      • binary-search-trees.lhs
      • encoding-induction.lhs
      • index-dependent-maps.hs
      • index-dependent-maps.lhs
      • kmeans-full.lhs
      • lets-talk-about-sets.lhs.markdown
      • red-black-intro.lhs
      • red-black-order.lhs
      • telling-lies-old.lhs
      • termination.lhs
      • text-layout.png
      • text-lifecycle.png
      • verifying-efficient-sorting-algorithms.lhs
  • language/
    • Makefile
    • commands.sty
    • haskellListings.tex
    • language.tex
    • liquidHaskell.sty
    • main.pdf
    • main.tex
    • typeInference.tex
  • mkDocs/
    • README.md
    • mkdocs.yml
    • docs/
      • index.md
      • install.md
      • legacy.md
      • options.md
      • papers.md
      • specifications.md
      • blogposts/
        • .pages
        • 2013-01-01-refinement-types-101.lhs.md
        • 2013-01-27-refinements101-reax.lhs.md
        • 2013-01-28-bounding-vectors.lhs.md
        • 2013-01-31-safely-catching-a-list-by-its-tail.lhs.md
        • 2013-02-16-kmeans-clustering-I.lhs.md
        • 2013-02-17-kmeans-clustering-II.lhs.md
        • 2013-03-04-bounding-vectors.lhs.md
        • 2013-03-26-talking-about-sets.lhs.md
        • 2013-05-24-unique-zipper.lhs.md
        • 2013-06-03-abstracting-over-refinements.lhs.md
        • 2013-07-29-putting-things-in-order.lhs.md
        • 2013-10-10-csv-tables.lhs.md
        • 2013-11-23-telling_lies.lhs.md
        • 2013-12-02-getting-to-the-bottom.lhs.md
        • 2013-12-09-checking-termination.lhs.md
        • 2013-12-14-gcd.lhs.md
        • 2014-02-11-the-advantage-of-measures.lhs.md
        • 2014-05-28-pointers-gone-wild.lhs.md
        • 2014-08-15-a-finer-filter.lhs.md
        • 2015-01-30-okasakis-lazy-queue.lhs.md
        • 2016-09-01-normal-forms.lhs.md
        • 2016-09-18-refinement-reflection.lhs.md
        • 2016-10-06-structural-induction.lhs.md
        • 2017-03-20-arithmetic-overflows.lhs.md
        • 2017-12-15-splitting-and-splicing-intervals-I.lhs.md
        • 2017-12-24-splitting-and-splicing-intervals-II.lhs.md
        • 2018-02-23-measures-and-case-splitting.lhs.md
        • 2018-05-17-hillel-verifier-rodeo-I-leftpad.lhs.md
        • 2019-10-20-why-types.lhs.md
        • 2020-04-12-polymorphic-perplexion.lhs.md
        • 2020-08-20-lh-as-a-ghc-plugin.lhs.md
      • static/
        • liquid-dark.css
        • liquid-light.css
        • misc.css
        • img/
          • angles.jpg
          • ansel-adams-la-jolla.jpg
          • beach.jpg
          • dafny-leftpad-spec.png
          • emacs.png
          • escher-helix.jpg
          • falling.jpg
          • favicon.ico
          • garter-snake.jpg
          • geisel2.jpg
          • hillel-tweet-1.png
          • hillel-tweet-2.png
          • ico.png
          • la-jolla-shores-2.jpg
          • la-jolla-shores.jpg
          • leftpad-spec.png
          • lem_intersect.png
          • lem_sub.png
          • lem_union.png
          • logo-header.png
          • logo.png
          • odometer-rollover.jpg
          • out.gif
          • plugin-emacs.gif
          • plugin-ghcid.gif
          • plugin-vim.png
          • plugin-vscode.gif
          • preloader.gif
          • queue-lists.png
          • queue-rotate.png
          • queue.png
          • regehr-tweet-quantifiers.png
          • ribbon.png
          • sea.jpg
          • splash-append.png
          • splash-assocpf.gif
          • splash-assocpf.png
          • splash-assocthm.gif
          • splash-assocthm.png
          • splash-binarySearch-A.gif
          • splash-binarySearch-A.png
          • splash-binarySearch-B.gif
          • splash-binarySearch-B.png
          • splash-binarySearch-C.gif
          • splash-binarySearch-C.png
          • splash-binarySearch-D.gif
          • splash-binarySearch-D.png
          • splash-dotproduct.gif
          • splash-dotproduct.png
          • splash-fib.gif
          • splash-fib.png
          • splash-head.gif
          • splash-head.png
          • splash-insertsort.gif
          • splash-insertsort.png
          • splash-merge.gif
          • splash-merge.png
          • splash-unsafetake.gif
          • splash-unstutter.gif
          • splash-unstutter.png
          • splash-ups.gif
          • splash-ups.png
          • splash-vectorsum.gif
          • splash-vectorsum.png
          • text-layout.png
          • text-lifecycle.png
          • white.jpg
          • why_types_1_1.png
          • why_types_1_2.png
          • why_types_1_3.png
          • why_types_2.png
          • why_types_2_1.png
          • why_types_2_2.png
          • why_types_3_1.png
          • why_types_3_2.png
          • why_types_3_3.png
          • why_types_3_4.png
    • theme-overrides/
      • main.html
  • slides/
    • BOS14/
      • Makefile
      • README.md
      • _support/
        • liquid.css
        • liquidhaskell.css
        • template.reveal
        • reveal.js/
          • .travis.yml
          • Gruntfile.js
          • LICENSE
          • README.md
          • index.html
          • package.json
          • css/
            • reveal.css
            • reveal.min.css
            • print/
              • paper.css
              • pdf.css
            • theme/
              • README.md
              • beige.css
              • blood.css
              • default.css
              • moon.css
              • night.css
              • seminar.css
              • seminar.orig.css
              • serif.css
              • simple.css
              • sky.css
              • solarized.css
              • source/
                • beige.scss
                • blood.scss
                • default.scss
                • moon.scss
                • night.scss
                • serif.scss
                • simple.scss
                • sky.scss
                • solarized.scss
              • template/
                • mixins.scss
                • settings.scss
                • theme.scss
          • js/
            • reveal.js
            • reveal.min.js
          • lib/
            • css/
              • zenburn.css
            • font/
              • league_gothic-webfont.eot
              • league_gothic-webfont.svg
              • league_gothic-webfont.ttf
              • league_gothic-webfont.woff
              • league_gothic_license
            • js/
              • classList.js
              • head.min.js
              • html5shiv.js
          • plugin/
            • highlight/
              • highlight.js
            • leap/
              • leap.js
            • markdown/
              • example.html
              • example.md
              • markdown.js
              • marked.js
            • math/
              • math.js
            • multiplex/
              • client.js
              • index.js
              • master.js
            • notes/
              • notes.html
              • notes.js
            • notes-server/
              • client.js
              • index.js
              • notes.html
            • postmessage/
              • example.html
              • postmessage.js
            • print-pdf/
              • print-pdf.js
            • remotes/
              • remotes.js
            • search/
              • search.js
            • zoom-js/
              • zoom.js
          • test/
            • qunit-1.12.0.css
            • qunit-1.12.0.js
            • test-markdown-element-attributes.html
            • test-markdown-element-attributes.js
            • test-markdown-slide-attributes.html
            • test-markdown-slide-attributes.js
            • test-markdown.html
            • test-markdown.js
            • test.html
            • test.js
            • examples/
              • barebones.html
              • embedded-media.html
              • math.html
              • slide-backgrounds.html
              • assets/
                • image1.png
                • image2.png
      • hs/
        • end/
          • 000_Refinements.hs
          • 001_Refinements.hs
          • 01_Elements.hs
          • 02_AbstractRefinements.hs
          • 03_Termination.hs
          • 05_Memory.hs
          • 06_Eval.hs
        • long/
          • AlphaConvert.hs
          • GhcListSort.hs
          • KMP.hs
          • RBTree-ord.hs
          • RBTree.hs
          • SoCalledHeartBleed.hs
        • start/
          • 000_Refinements.hs
          • 001_Refinements.hs
          • 01_Elements.hs
          • 02_AbstractRefinements.hs
          • 03_Termination.hs
          • 04_Streams.hs
          • 05_Memory.hs
          • 06_Eval-done.hs
          • 06_Eval.hs
      • img/
        • RedBlack.png
        • RobertMorris.png
        • bytestring.png
        • code-spec-indiv.png
        • code-spec-total.png
        • firstbug-crop.jpg
        • firstbug-crop2.jpg
        • firstbug.jpg
        • george-orwell.jpg
        • gotofail.png
        • heartbleed.png
        • minindex-classic.png
        • minindex-invariant.png
        • minindex-modern.png
        • minindex-reduce.png
        • overflow.png
        • rbtree-bad1.png
        • rbtree-bad2.png
        • rbtree-ok.png
        • tension0.png
        • tension1.png
        • tension2.png
        • tension3.png
        • termination-results.png
        • thoughtcrime.png
        • ungood-small.jpg
      • lhs/
        • 00_Motivation.lhs
        • 00_Motivation_Long.lhs
        • 01_SimpleRefinements.lhs
        • 02_Measures.lhs
        • 03_HigherOrderFunctions.lhs
        • 04_AbstractRefinements.lhs
        • 05_Composition.lhs
        • 06_Inductive.lhs
        • 07_Array.lhs
        • 08_Recursive.lhs
        • 09_Laziness.lhs
        • 10_Termination.lhs
        • 11_Evaluation.lhs
        • 12_Conclusion.lhs
        • 13_RedBlack.lhs
        • 14_Memory.lhs
        • Index-Boston-Haskell.lhs
        • Index-Tufts.lhs
        • Index.lhs
    • ETH14/
      • Makefile
      • MkCode.hs
      • cleanup
      • _support/
        • liquid.css
        • liquidhaskell.css
        • template.reveal
        • reveal.js/
          • .travis.yml
          • Gruntfile.js
          • LICENSE
          • lib/
            • font/
              • league_gothic-webfont.eot
              • league_gothic-webfont.svg
              • league_gothic-webfont.ttf
              • league_gothic-webfont.woff
              • league_gothic_license
          • plugin/
            • highlight/
              • highlight.js
            • leap/
              • leap.js
            • markdown/
              • markdown.js
              • marked.js
            • math/
              • math.js
            • multiplex/
              • client.js
              • index.js
              • master.js
            • notes/
              • notes.js
            • notes-server/
              • client.js
              • index.js
            • postmessage/
              • postmessage.js
            • print-pdf/
              • print-pdf.js
            • remotes/
              • remotes.js
            • search/
              • search.js
            • zoom-js/
              • zoom.js
          • test/
            • qunit-1.12.0.css
            • qunit-1.12.0.js
            • test-markdown-element-attributes.js
            • test-markdown-slide-attributes.js
            • test-markdown.js
            • test.js
            • examples/
              • assets/
                • image1.png
                • image2.png
      • img/
        • RedBlack.png
        • minindex-classic.png
        • minindex-invariant.png
        • minindex-modern.png
        • minindex-reduce.png
        • tension0.png
        • tension1.png
        • tension2.png
        • tension3.png
      • lhs/
        • 00_Motivation.lhs
        • 01_SimpleRefinements.lhs
        • 02_Measures.lhs
        • 03_HigherOrderFunctions.lhs
        • 04_AbstractRefinements.lhs
        • 05_Composition.lhs
        • 06_Inductive.lhs
        • 07_Array.lhs
        • 08_Recursive.lhs
        • 09_Laziness.lhs
        • 10_Termination.lhs
        • 11_Evaluation.lhs
        • 12_Conclusion.lhs
        • Index.lhs
    • Galois2014/
      • 000_Refinements.hs
      • 001_Refinements.hs
      • 01_Elements.hs
      • 05_Memory.hs
    • HS2014/
      • Basics-blank.hs
      • Basics.lhs
      • ByteString-BAD-DIFFCHECK.hs
      • ByteString-blank.hs
      • ByteString.lhs
      • TODO.md
      • Totality-blank.hs
      • Totality.lhs
    • IHP14/
      • Makefile
      • MkCode.hs
      • cleanup
      • _support/
        • .template2.reveal.swp
        • liquid.css
        • liquidhaskell.css
        • template.reveal
        • reveal.js/
          • .travis.yml
          • Gruntfile.js
          • LICENSE
          • README.md
          • index.html
          • package.json
          • css/
            • reveal.css
            • reveal.min.css
            • print/
              • paper.css
              • pdf.css
            • theme/
              • README.md
              • beige.css
              • blood.css
              • default.css
              • moon.css
              • night.css
              • seminar.css
              • seminar.orig.css
              • serif.css
              • simple.css
              • sky.css
              • solarized.css
              • source/
                • beige.scss
                • blood.scss
                • default.scss
                • moon.scss
                • night.scss
                • serif.scss
                • simple.scss
                • sky.scss
                • solarized.scss
              • template/
                • mixins.scss
                • settings.scss
                • theme.scss
          • js/
            • reveal.js
            • reveal.min.js
          • lib/
            • css/
              • zenburn.css
            • font/
              • league_gothic-webfont.eot
              • league_gothic-webfont.svg
              • league_gothic-webfont.ttf
              • league_gothic-webfont.woff
              • league_gothic_license
            • js/
              • classList.js
              • head.min.js
              • html5shiv.js
          • plugin/
            • highlight/
              • highlight.js
            • leap/
              • leap.js
            • markdown/
              • example.html
              • example.md
              • markdown.js
              • marked.js
            • math/
              • math.js
            • multiplex/
              • client.js
              • index.js
              • master.js
            • notes/
              • notes.html
              • notes.js
            • notes-server/
              • client.js
              • index.js
              • notes.html
            • postmessage/
              • example.html
              • postmessage.js
            • print-pdf/
              • print-pdf.js
            • remotes/
              • remotes.js
            • search/
              • search.js
            • zoom-js/
              • zoom.js
          • test/
            • qunit-1.12.0.css
            • qunit-1.12.0.js
            • test-markdown-element-attributes.html
            • test-markdown-element-attributes.js
            • test-markdown-slide-attributes.html
            • test-markdown-slide-attributes.js
            • test-markdown.html
            • test-markdown.js
            • test.html
            • test.js
            • examples/
              • barebones.html
              • embedded-media.html
              • math.html
              • slide-backgrounds.html
              • assets/
                • image1.png
                • image2.png
      • img/
        • RedBlack.png
        • tension0.png
        • tension1.png
        • tension2.png
        • tension3.png
      • lhs/
        • 00_Motivation_GoWrong.lhs
        • 00_Motivation_Logic.lhs
        • 01_SimpleRefinements.lhs
        • 02_Measures.lhs
        • 03_HigherOrderFunctions.lhs
        • 04_AbstractRefinements.lhs
        • 05_Composition.lhs
        • 06_Inductive.lhs
        • 07_Array.lhs
        • 08_Recursive.lhs
        • 09_Laziness.lhs
        • 10_Termination.lhs
        • 11_Evaluation.lhs
        • 12_Conclusion.lhs
        • Index.lhs
    • LambdaConf15/
      • lhs/
        • 01_SimpleRefinements.lhs
    • NEU14/
      • 00_Refinements-blank.hs
      • 00_Refinements.hs
      • 01_AbstractRefinements-blank.hs
      • 01_AbstractRefinements.hs
      • 02_Termination-blank.hs
      • 02_Termination.hs
      • AlphaConvert.hs
      • Eval.hs
      • RBTree.hs
    • flops14/
      • Makefile
      • TODO.md
      • cleanup
      • _support/
        • liquid.css
        • template.reveal
        • reveal/
          • LICENSE
          • README.md
          • package.json
          • css/
            • liquidhaskell.css
            • main.css
            • print/
              • paper.css
              • pdf.css
            • theme/
              • beige.css
              • default.css
              • seminar.css
              • seminar.orig.css
              • serif.css
              • simple.css
              • sky.css
          • js/
            • .reveal.js.swo
            • .reveal.js.swp
            • .reveal.min.js.swo
            • .reveal.min.js.swp
            • reveal.js
            • reveal.min.js
          • lib/
            • css/
              • zenburn.css
            • font/
              • OpenSans-Regular.ttf
              • PT_Sans-Narrow-Web-Regular.ttf
              • league_gothic-webfont.ttf
            • js/
              • classList.js
              • data-markdown.js
              • head.min.js
              • highlight.js
              • html5shiv.js
              • showdown.js
          • plugin/
            • speakernotes/
              • client.js
              • index.js
              • notes.html
      • img/
        • RedBlack.png
      • lhs/
        • 00_Index.lhs
        • 01_SimpleRefinements.lhs
        • 02_Measures.lhs
        • 03_HigherOrderFunctions.lhs
        • 04_AbstractRefinements.lhs
        • 05_Composition.lhs
        • 06_Inductive.lhs
        • 07_Array.lhs
        • 08_Recursive.lhs
        • 09_Laziness.lhs
        • 10_Termination.lhs
        • 11_Evaluation.lhs
      • reveal.js/
        • .gitignore
        • .travis.yml
        • Gruntfile.js
        • LICENSE
        • lib/
          • font/
            • league_gothic-webfont.eot
            • league_gothic-webfont.svg
            • league_gothic-webfont.ttf
            • league_gothic-webfont.woff
            • league_gothic_license
        • plugin/
          • highlight/
            • highlight.js
          • leap/
            • leap.js
          • markdown/
            • markdown.js
            • marked.js
          • math/
            • math.js
          • multiplex/
            • client.js
            • index.js
            • master.js
          • notes/
            • notes.js
          • notes-server/
            • client.js
            • index.js
          • postmessage/
            • postmessage.js
          • print-pdf/
            • print-pdf.js
          • remotes/
            • remotes.js
          • search/
            • search.js
          • zoom-js/
            • zoom.js
        • test/
          • qunit-1.12.0.css
          • qunit-1.12.0.js
          • test-markdown-element-attributes.js
          • test-markdown-slide-attributes.js
          • test-markdown.js
          • test.js
          • examples/
            • assets/
              • image1.png
              • image2.png
    • niki/
      • Makefile
      • fonts/
        • OFT.txt
        • PT_Mono-Regular.ttf
        • PT_Sans-Narrow-Web-Bold.ttf
        • PT_Sans-Narrow-Web-Regular.ttf
        • PT_Sans-Web-Bold.ttf
        • PT_Sans-Web-BoldItalic.ttf
        • PT_Sans-Web-Italic.ttf
        • PT_Sans-Web-Regular.ttf
      • html/
        • benchmarks.png
        • liquid.css
        • slides.css
        • fonts/
          • OFT.txt
          • PT_Mono-Regular.ttf
          • PT_Sans-Narrow-Web-Bold.ttf
          • PT_Sans-Narrow-Web-Regular.ttf
          • PT_Sans-Web-Bold.ttf
          • PT_Sans-Web-BoldItalic.ttf
          • PT_Sans-Web-Italic.ttf
          • PT_Sans-Web-Regular.ttf
      • lhs/
        • AbstractRefinements.lhs
        • Array.lhs
        • Composition.lhs
        • Inductive.lhs
        • Laziness.lhs
        • List.lhs
        • Loop.lhs
        • Measures.lhs
        • SimpleRefinements.lhs
        • liquid.css
        • slides.css
    • plpv14/
      • Makefile
      • pdcreveal.tgz
      • _support/
        • liquid.css
        • template.reveal
        • reveal/
          • LICENSE
          • README.md
          • package.json
          • css/
            • liquidhaskell.css
            • main.css
            • print/
              • paper.css
              • pdf.css
            • theme/
              • beige.css
              • default.css
              • seminar.css
              • seminar.orig.css
              • serif.css
              • simple.css
              • sky.css
          • js/
            • .reveal.js.swo
            • .reveal.js.swp
            • .reveal.min.js.swo
            • .reveal.min.js.swp
            • reveal.js
            • reveal.min.js
          • lib/
            • css/
              • zenburn.css
            • font/
              • OpenSans-Regular.ttf
              • PT_Sans-Narrow-Web-Regular.ttf
              • league_gothic-webfont.ttf
            • js/
              • classList.js
              • data-markdown.js
              • head.min.js
              • highlight.js
              • html5shiv.js
              • showdown.js
          • plugin/
            • speakernotes/
              • client.js
              • index.js
              • notes.html
      • hopa/
        • AbstractRefinements.lhs
      • lhs/
        • .01_SimpleRefinements.lhs.swn
        • 00_Index.lhs
        • 00_Index.lhs.markdown
        • 01_SimpleRefinements.lhs
        • 01_SimpleRefinements.lhs.markdown
        • 02_Measures.lhs
        • 02_Measures.lhs.markdown
        • 03_HigherOrderFunctions.lhs
        • 03_HigherOrderFunctions.lhs.markdown
        • 04_AbstractRefinements.lhs
        • 04_AbstractRefinements.lhs.markdown
        • 05_Composition.lhs
        • 05_Composition.lhs.markdown
        • 06_Inductive.lhs
        • 06_Inductive.lhs.markdown
        • 07_Array.lhs
        • 07_Array.lhs.markdown
        • 08_Recursive.lhs
        • 08_Recursive.lhs.markdown
        • 09_Laziness.lhs
        • 09_Laziness.lhs.markdown
        • 10_Termination.lhs
        • 10_Termination.lhs.markdown
        • liquid.css
      • reveal.js/
        • .gitignore
        • .travis.yml
        • Gruntfile.js
        • LICENSE
        • lib/
          • font/
            • league_gothic-webfont.eot
            • league_gothic-webfont.svg
            • league_gothic-webfont.ttf
            • league_gothic-webfont.woff
            • league_gothic_license
        • plugin/
          • highlight/
            • highlight.js
          • leap/
            • leap.js
          • markdown/
            • markdown.js
            • marked.js
          • math/
            • math.js
          • multiplex/
            • client.js
            • index.js
            • master.js
          • notes/
            • notes.js
          • notes-server/
            • client.js
            • index.js
          • postmessage/
            • postmessage.js
          • print-pdf/
            • print-pdf.js
          • remotes/
            • remotes.js
          • search/
            • search.js
          • zoom-js/
            • zoom.js
        • test/
          • qunit-1.12.0.css
          • qunit-1.12.0.js
          • test-markdown-element-attributes.js
          • test-markdown-slide-attributes.js
          • test-markdown.js
          • test.js
          • examples/
            • assets/
              • image1.png
              • image2.png
      • tmp/
        • Foo.hs
        • liquid.css
• exe/
  • Liquid.hs
• external/
  • hsmisc/
    • Graphs.hs
    • Lhs2Hs.hs
• include/
  • Bot.hquals
  • CoreToLogic.lg
  • KMeansHelper.hs
  • NotReal.spec
  • PatErr.spec
  • Prelude.hquals
  • Prelude.spec
  • Real.spec
  • len.hquals
  • 710/
    • Data/
      • Traversable.spec
  • Control/
    • Exception.spec
    • Parallel/
      • Strategies.spec
  • Data/
    • Bits.spec
    • ByteString.spec
    • Char.spec
    • Either.spec
    • Foldable.spec
    • Int.spec
    • Map.hiddenspec
    • Maybe.spec
    • OldList.spec
    • Set.spec
    • String.spec
    • Text.spec
    • Time.spec
    • Tuple.spec
    • Vector.hquals
    • Vector.spec
    • Word.spec
    • Word8.spec
    • ByteString/
      • Char8.spec
      • Lazy.spec
      • Short.spec
      • Unsafe.spec
      • Lazy/
        • Char8.spec
    • Text/
      • Fusion.spec
      • Fusion/
        • Common.spec
      • Lazy/
        • Fusion.spec
    • Time/
      • Calendar.spec
  • Foreign/
    • ForeignPtr.spec
    • Ptr.spec
    • Storable.spec
    • C/
      • String.spec
      • Types.spec
    • Marshal/
      • Alloc.spec
      • Array.spec
  • GHC/
    • Base.hquals
    • Base.spec
    • CString.spec
    • Classes.spec
    • Exts.spec
    • ForeignPtr.spec
    • Int.spec
    • List.spec
    • Num.spec
    • Prim.spec
    • Ptr.spec
    • Read.spec
    • Real.spec
    • Types.spec
    • Word.spec
    • IO/
      • Handle.spec
  • Language/
    • Haskell/
      • Liquid/
        • Bag.hs
        • Equational.hs
        • Foreign.hs
        • List.hs
        • Prelude.hs
        • Prelude.pred
        • ProofCombinators.hs
        • RTick.hs
        • String.hs
        • RTick/
          • Combinators.hs
        • Synthesize/
          • Error.hs
  • System/
    • IO.spec
• liquid-base/
  • LICENSE
  • Setup.hs
  • liquid-base.cabal
  • src/
    • Foreign.hs
    • Numeric.hs
    • Prelude.hs
    • Prelude.spec
    • Control/
      • Applicative.hs
      • Arrow.hs
      • Category.hs
      • Concurrent.hs
      • Exception.hs
      • Exception.spec
      • Monad.hs
      • Concurrent/
        • Chan.hs
        • MVar.hs
        • QSem.hs
        • QSemN.hs
      • Exception/
        • Base.hs
      • Monad/
        • Fail.hs
        • Fix.hs
        • Instances.hs
        • ST.hs
        • Zip.hs
        • IO/
          • Class.hs
        • ST/
          • Lazy.hs
          • Safe.hs
          • Strict.hs
          • Unsafe.hs
          • Lazy/
            • Safe.hs
            • Unsafe.hs
    • Data/
      • Bifoldable.hs
      • Bifunctor.hs
      • Bitraversable.hs
      • Bits.hs
      • Bits.spec
      • Bool.hs
      • Char.hs
      • Coerce.hs
      • Complex.hs
      • Data.hs
      • Dynamic.hs
      • Either.hs
      • Either.spec
      • Eq.hs
      • Fixed.hs
      • Foldable.hs
      • Foldable.spec
      • Function.hs
      • Functor.hs
      • IORef.hs
      • Int.hs
      • Int.spec
      • Ix.hs
      • Kind.hs
      • List.hs
      • Maybe.hs
      • Maybe.spec
      • Monoid.hs
      • Ord.hs
      • Proxy.hs
      • Ratio.hs
      • STRef.hs
      • Semigroup.hs
      • String.hs
      • String.spec
      • Traversable.hs
      • Tuple.hs
      • Tuple.spec
      • Typeable.hs
      • Unique.hs
      • Version.hs
      • Void.hs
      • Word.hs
      • Word.spec
      • Functor/
        • Classes.hs
        • Compose.hs
        • Const.hs
        • Contravariant.hs
        • Identity.hs
        • Product.hs
        • Sum.hs
      • List/
        • NonEmpty.hs
      • STRef/
        • Lazy.hs
        • Strict.hs
      • Type/
        • Bool.hs
        • Coercion.hs
        • Equality.hs
    • Debug/
      • Trace.hs
    • Foreign/
      • C.hs
      • Concurrent.hs
      • Concurrent.spec
      • ForeignPtr.hs
      • ForeignPtr.spec
      • Marshal.hs
      • Ptr.hs
      • Ptr.spec
      • Safe.hs
      • StablePtr.hs
      • Storable.hs
      • Storable.spec
      • C/
        • Error.hs
        • String.hs
        • String.spec
        • Types.hs
        • Types.spec
      • ForeignPtr/
        • Safe.hs
        • Unsafe.hs
      • Marshal/
        • Alloc.hs
        • Alloc.spec
        • Array.hs
        • Error.hs
        • Pool.hs
        • Safe.hs
        • Unsafe.hs
        • Utils.hs
    • GHC/
      • Arr.hs
      • Base.hs
      • Base.spec
      • ByteOrder.hs
      • Char.hs
      • Clock.hs
      • Conc.hs
      • ConsoleHandler.hs
      • Constants.hs
      • Desugar.hs
      • Enum.hs
      • Environment.hs
      • Err.hs
      • Exception.hs
      • ExecutionStack.hs
      • Exts.hs
      • Fingerprint.hs
      • Float.hs
      • Foreign.hs
      • ForeignPtr.hs
      • ForeignPtr.spec
      • GHCi.hs
      • Generics.hs
      • IO.hs
      • IOArray.hs
      • IORef.hs
      • Int.hs
      • Int.spec
      • Ix.hs
      • List.hs
      • List.spec
      • MVar.hs
      • Maybe.hs
      • Natural.hs
      • Num.hs
      • Num.spec
      • OldList.hs
      • OverloadedLabels.hs
      • Pack.hs
      • Profiling.hs
      • Ptr.hs
      • Ptr.spec
      • Read.hs
      • Real.hs
      • Real.spec
      • Records.hs
      • ResponseFile.hs
      • ST.hs
      • STRef.hs
      • Show.hs
      • Stable.hs
      • StableName.hs
      • Stack.hs
      • StaticPtr.hs
      • Stats.hs
      • Storable.hs
      • TopHandler.hs
      • TypeLits.hs
      • TypeNats.hs
      • Unicode.hs
      • Weak.hs
      • Word.hs
      • Word.spec
      • Conc/
        • IO.hs
        • Signal.hs
        • Sync.hs
      • Exception/
        • Type.hs
      • ExecutionStack/
        • Internal.hs
      • Fingerprint/
        • Type.hs
      • Float/
        • ConversionUtils.hs
        • RealFracMethods.hs
      • GHCi/
        • Helpers.hs
      • IO/
        • Buffer.hs
        • BufferedIO.hs
        • Device.hs
        • Encoding.hs
        • Exception.hs
        • FD.hs
        • Handle.hs
        • Handle.spec
        • IOMode.hs
        • Unsafe.hs
        • Encoding/
          • CodePage.hs
          • Failure.hs
          • Iconv.hs
          • Latin1.hs
          • Types.hs
          • UTF16.hs
          • UTF32.hs
          • UTF8.hs
        • Handle/
          • FD.hs
          • Internals.hs
          • Lock.hs
          • Text.hs
          • Types.hs
      • RTS/
        • Flags.hs
      • Stack/
        • CCS.hs
        • Types.hs
    • Liquid/
      • Prelude/
        • NotReal.hs
        • NotReal.spec
        • Real.hs
        • Real.spec
        • Totality.hs
        • Totality.spec
    • Numeric/
      • Natural.hs
    • System/
      • CPUTime.hs
      • Environment.hs
      • Exit.hs
      • IO.hs
      • IO.spec
      • Info.hs
      • Mem.hs
      • Timeout.hs
      • Console/
        • GetOpt.hs
      • Environment/
        • Blank.hs
      • IO/
        • Error.hs
        • Unsafe.hs
      • Mem/
        • StableName.hs
        • Weak.hs
      • Posix/
        • Internals.hs
        • Types.hs
    • Text/
      • Printf.hs
      • Read.hs
      • Show.hs
      • ParserCombinators/
        • ReadP.hs
        • ReadPrec.hs
      • Read/
        • Lex.hs
      • Show/
        • Functions.hs
    • Type/
      • Reflection.hs
      • Reflection/
        • Unsafe.hs
    • Unsafe/
      • Coerce.hs
• liquid-bytestring/
  • LICENSE
  • Setup.hs
  • liquid-bytestring.cabal
  • src/
    • Data/
      • ByteString.hs
      • ByteString.spec
      • ByteString/
        • Builder.hs
        • Char8.hs
        • Char8.spec
        • Internal.hs
        • Lazy.hs
        • Lazy.spec
        • Short.hs
        • Short.spec
        • Unsafe.hs
        • Unsafe.spec
        • Builder/
          • Extra.hs
          • Internal.hs
          • Prim.hs
          • Prim/
            • Internal.hs
        • Lazy/
          • Builder.hs
          • Char8.hs
          • Char8.spec
          • Internal.hs
          • Builder/
            • ASCII.hs
            • Extras.hs
        • Short/
          • Internal.hs
• liquid-containers/
  • LICENSE
  • Setup.hs
  • liquid-containers.cabal
  • src/
    • Data/
      • Graph.hs
      • IntMap.hs
      • IntSet.hs
      • Map.hs
      • Sequence.hs
      • Set.hs
      • Set.spec
      • Tree.hs
      • Containers/
        • ListUtils.hs
      • IntMap/
        • Internal.hs
        • Lazy.hs
        • Strict.hs
        • Internal/
          • Debug.hs
        • Merge/
          • Lazy.hs
          • Strict.hs
        • Strict/
          • Internal.hs
      • IntSet/
        • Internal.hs
      • Map/
        • Internal.hs
        • Lazy.hs
        • Strict.hs
        • Internal/
          • Debug.hs
        • Merge/
          • Lazy.hs
          • Strict.hs
        • Strict/
          • Internal.hs
      • Sequence/
        • Internal.hs
        • Internal/
          • Sorting.hs
      • Set/
        • Internal.hs
    • Utils/
      • Containers/
        • Internal/
          • BitQueue.hs
          • BitUtil.hs
          • StrictPair.hs
• liquid-ghc-prim/
  • LICENSE
  • Setup.hs
  • liquid-ghc-prim.cabal
  • src/
    • GHC/
      • CString.hs
      • CString.spec
      • Classes.hs
      • Classes.spec
      • Debug.hs
      • IntWord64.hs
      • Magic.hs
      • Prim.hs
      • PrimopWrappers.hs
      • Tuple.hs
      • Types.hs
      • Types.spec
      • Prim/
        • Ext.hs
• liquid-parallel/
  • LICENSE
  • Setup.hs
  • liquid-parallel.cabal
  • src/
    • Control/
      • Parallel.hs
      • Seq.hs
      • Parallel/
        • Strategies.hs
        • Strategies.spec
• liquid-platform/
  • LICENSE
  • liquid-platform.cabal
  • src/
    • Gradual.hs
    • Liquid.hs
    • Target.hs
• liquid-prelude/
  • LICENSE
  • Setup.hs
  • liquid-prelude.cabal
  • src/
    • KMeansHelper.hs
    • Language/
      • Haskell/
        • Liquid/
          • Bag.hs
          • Equational.hs
          • Foreign.hs
          • List.hs
          • Prelude.hs
          • ProofCombinators.hs
          • RTick.hs
          • String.hs
          • RTick/
            • Combinators.hs
          • Synthesize/
            • Error.hs
• liquid-vector/
  • LICENSE
  • Setup.hs
  • liquid-vector.cabal
  • src/
    • Data/
      • Vector.hs
      • Vector.spec
      • Vector/
        • Generic.hs
        • Mutable.hs
        • Primitive.hs
        • Storable.hs
        • Unboxed.hs
        • Fusion/
          • Bundle.hs
          • Util.hs
          • Bundle/
            • Monadic.hs
            • Size.hs
          • Stream/
            • Monadic.hs
        • Generic/
          • Base.hs
          • Mutable.hs
          • New.hs
          • Mutable/
            • Base.hs
        • Internal/
          • Check.hs
        • Primitive/
          • Mutable.hs
        • Storable/
          • Internal.hs
          • Mutable.hs
        • Unboxed/
          • Base.hs
          • Mutable.hs
• mirror-modules/
  • CLI.hs
  • Main.hs
  • templates/
    • MirrorModule.mustache
• resources/
  • icon.png
  • icon.svg
  • logo.png
  • logo.svg
• scripts/
  • CountBinders.hs
  • dump_ghc_environment
  • generate_testing_ghc_env
  • haskell_count
  • head.hackage.sh
  • metrics.py
  • release_to_hackage.sh
  • travis
  • performance/
    • cleanup.bash
    • generate.bash
    • initialize.bash
  • plot-benchmarks/
    • README.md
    • Setup.hs
    • plot-benchmarks.cabal
    • stack.yaml
    • src/
      • Benchmark.hs
      • Config.hs
      • Main.hs
      • Parse.hs
      • Plot.hs
  • plot-performance/
    • README.md
    • chart_perf.sh
    • perf.gnuplot
  • test/
    • test_810.sh
    • test_810_legacy.sh
    • test_810_plugin.sh
    • test_865.sh
    • test_884.sh
    • test_901_plugin.sh
• src/
  • LHi.hs
  • LiquidHaskell.hs
  • Language/
    • Haskell/
      • Liquid/
        • Bare.hs
        • Cabal.hs
        • GHC.hs
        • LawInstances.hs
        • Liquid.hs
        • Measure.hs
        • Misc.hs
        • Parse.hs
        • Synthesize.hs
        • Types.hs
        • WiredIn.hs
        • Bare/
          • Axiom.hs
          • Check.hs
          • Class.hs
          • DataType.hs
          • Elaborate.hs
          • Expand.hs
          • Laws.hs
          • Measure.hs
          • Misc.hs
          • Plugged.hs
          • Resolve.hs
          • Slice.hs
          • ToBare.hs
          • Typeclass.hs
          • Types.hs
        • Constraint/
          • Constraint.hs
          • Env.hs
          • Fresh.hs
          • Generate.hs
          • Init.hs
          • Monad.hs
          • Qualifier.hs
          • Split.hs
          • ToFixpoint.hs
          • Types.hs
        • GHC/
          • API.hs
          • GhcMonadLike.hs
          • Interface.hs
          • Logging.hs
          • Misc.hs
          • Play.hs
          • Plugin.hs
          • Resugar.hs
          • SpanStack.hs
          • TypeRep.hs
          • Types.hs
          • API/
            • StableModule.hs
          • Plugin/
            • SpecFinder.hs
            • Tutorial.hs
            • Types.hs
            • Util.hs
        • Interactive/
          • Handler.hs
          • Types.hs
        • Synthesize/
          • Check.hs
          • Env.hs
          • GHC.hs
          • Generate.hs
          • Misc.hs
          • Monad.hs
          • Termination.hs
        • Termination/
          • Structural.hs
        • Transforms/
          • ANF.hs
          • CoreToLogic.hs
          • InlineAux.hs
          • Rec.hs
          • RefSplit.hs
          • Rewrite.hs
          • Simplify.hs
        • Types/
          • Annotations.hs
          • Bounds.hs
          • Dictionaries.hs
          • Equality.hs
          • Errors.hs
          • Fresh.hs
          • Generics.hs
          • Literals.hs
          • Meet.hs
          • Names.hs
          • PredType.hs
          • PrettyPrint.hs
          • RefType.hs
          • Specs.hs
          • Types.hs
          • Variance.hs
          • Visitors.hs
        • UX/
          • ACSS.hs
          • Annotate.hs
          • CTags.hs
          • CmdLine.hs
          • Config.hs
          • DiffCheck.hs
          • Errors.hs
          • QuasiQuoter.hs
          • Server.hs
          • Tidy.hs
• syntax/
  • hsannot.css
  • hscolour.css
  • liquid.css
  • liquidBody.css
  • liquid_dark_blog.css
  • liquid_light_blog.css
• tests/
  • Parser.hs
  • Synthesis.hs
  • TestCommits.hs
  • test.hs
  • DependentHaskell/
    • todo/
      • ClassKind.hs
      • LF326.hs
      • TypeFamilies.hs
  • RankNTypes/
    • pos/
      • Test.hs
      • Test0.hs
      • Test00.hs
  • absref/
    • neg/
      • FlipArgs.hs
      • ListISort-LType.hs
      • ListISort.hs
      • ListQSort.hs
      • deppair0.hs
      • deptup0.hs
      • deptupW.hs
    • pos/
      • AbsRef00.hs
      • FlipArgs.hs
      • ListISort-LType.hs
      • ListISort.hs
      • ListQSort.hs
      • Papp00.hs
      • VectorLoop.hs
      • deppair0.hs
      • deppair2.hs
      • deptup0.hs
      • deptupW.hs
      • state00.hs
  • basic/
    • neg/
      • Inc04.hs
      • Inc04Lib.hs
      • List00.hs
      • T1459.hs
      • inc01.hs
      • inc01q.hs
      • inc02.hs
      • inc03.hs
      • poly00.hs
    • pos/
      • Float.hs
      • Inc03Lib.hs
      • List00.hs
      • SkipDerived00.hs
      • alias00.hs
      • alias01.hs
      • alias02.hs
      • alias03.hs
      • alias04.hs
      • alias05.hs
      • inc00.hs
      • inc01.hs
      • inc01q.hs
      • inc02.hs
      • inc03.hs
      • inc04.hs
      • infer00.hs
      • poly00.hs
  • classes/
    • neg/
      • Class00.hs
      • Class01.hs
      • Inst00.hs
      • RealProps0.hs
    • pos/
      • Class00.hs
      • HiddenMethod00.hs
      • Inst00.hs
      • RealProps0.hs
      • RealProps1.hs
      • STMonad.hs
      • TypeEquality00.hs
      • TypeEquality01.hs
  • datacon/
    • neg/
      • AdtPeano2.hs
      • Data00.hs
      • Data00Lib.hs
      • Data01.hs
      • Data02.hs
      • Data02Lib.hs
      • Date.hs
      • NewTypes.hs
      • NewTypes0.hs
    • pos/
      • AdtPeano2.hs
      • Data00.hs
      • Data00Lib.hs
      • Data01.hs
      • Data02.hs
      • Data02Lib.hs
      • Date.hs
      • NewType.hs
      • T1446.hs
      • T1473A.hs
      • T1473B.hs
      • T1476.hs
      • T1477.hs
      • T1777.hs
  • errors/
    • AmbiguousInline.hs
    • AmbiguousReflect.hs
    • BadAliasApp.hs
    • BadAnnotation.hs
    • BadAnnotation1.hs
    • BadData0.hs
    • BadData1.hs
    • BadData2.hs
    • BadDataCon2.hs
    • BadDataConType.hs
    • BadDataConType1.hs
    • BadDataConType2.hs
    • BadDataDeclTyVars.hs
    • BadGADT.hs
    • BadPragma0.hs
    • BadPragma1.hs
    • BadPragma2.hs
    • BadPredApp.hs
    • BadQualifier.hs
    • BadSig0.hs
    • BadSig1.hs
    • BadSyn1.hs
    • BadSyn2.hs
    • BadSyn3.hs
    • BadSyn4.hs
    • CyclicExprAlias0.hs
    • CyclicExprAlias1.hs
    • CyclicExprAlias2.hs
    • CyclicExprAlias3.hs
    • CyclicPredAlias0.hs
    • CyclicPredAlias1.hs
    • CyclicPredAlias2.hs
    • CyclicPredAlias3.hs
    • CyclicTypeAlias0.hs
    • CyclicTypeAlias1.hs
    • CyclicTypeAlias2.hs
    • CyclicTypeAlias3.hs
    • DupAlias.hs
    • DupData.hs
    • DupFunSigs.hs
    • DupMeasure.hs
    • ElabLocation.hs
    • EmptyData.hs
    • EmptySig.hs
    • ErrLocation.hs
    • ErrLocation2.hs
    • ExportMeasure0.hs
    • ExportReflect0.hs
    • Fractional.hs
    • HigherOrderBinder.hs
    • HintMismatch.hs
    • HoleCrash1.hs
    • HoleCrash2.hs
    • HoleCrash3.hs
    • Inconsistent0.hs
    • Inconsistent1.hs
    • Inconsistent2.hs
    • InlineSubExp0.hs
    • InlineSubExp1.hs
    • IrregularData.hs
    • LiftMeasureCase.hs
    • LocalHole.hs
    • MissingAssume.hs
    • MissingField1.hs
    • MissingField2.hs
    • MissingReflect.hs
    • MissingSizeFun.hs
    • MultiInstMeasures.hs
    • MultiRecSels.hs
    • ParseBind.hs
    • ParseClass.hs
    • ReWrite5.hs
    • ReWrite6.hs
    • ReWrite7.hs
    • ReWrite8.hs
    • ReflectLam.hs
    • ShadowFieldInline.hs
    • ShadowFieldReflect.hs
    • ShadowMeasure.hs
    • ShadowMeasureVar.hs
    • SplitSubtype.hs
    • T1140.hs
    • T1498.hs
    • T1498A.hs
    • T1708.hs
    • T773.hs
    • T774.hs
    • TODOUnboundAbsRef.hs
    • TODOVarInTypeAlias.hs
    • TerminationExprNum.hs
    • TerminationExprSort.hs
    • TerminationExprUnb.hs
    • UnboundAbsRef.hs
    • UnboundCheckVar.hs
    • UnboundFunInSpec.hs
    • UnboundFunInSpec1.hs
    • UnboundFunInSpec2.hs
    • UnboundVarInAssume.hs
    • UnboundVarInLocSig.hs
    • UnboundVarInReflect.hs
    • UnboundVarInSpec.hs
    • frog.hs
  • ffi-include/
    • foo.c
    • foo.h
  • golden/
    • json_output.golden
    • json_output.hs
  • gradual/
    • neg/
      • Gradual.hs
      • Interpretations.hs
      • Intro.hs
    • pos/
      • Discussion.hs
      • Dynamic.hs
      • Gradual.hs
      • Interpretations.hs
      • Intro.hs
    • todo/
      • Measures.hs
  • implicit/
    • neg/
      • Implicit1.hs
    • pos/
      • Implicit1.hs
      • Implicit3.hs
      • ImplicitDouble.hs
      • ImplicitTrivial.hs
  • import/
    • client/
      • CliAliasGen00.hs
      • CliRedBlue.hs
      • Client0.hs
      • Client1.hs
      • Client2.hs
      • ExactGADT9.hs
      • FunClashLibLibClient.hs
      • LibRedBlue.hs
      • LiquidArrayInit.hs
      • LiquidArrayNullTerm.hs
      • ListClient.hs
      • NameClashClient.hs
      • RC1015.hs
      • ReExportClient.hs
      • ReflectClient0.hs
      • ReflectClient1.hs
      • ReflectClient2.hs
      • ReflectClient3.hs
      • ReflectClient4.hs
      • ReflectClient4a.hs
      • ReflectClient5.hs
      • ReflectClient6.hs
      • ReflectClient7.hs
      • ReflectClient8.hs
      • RewriteClient.hs
      • STClient.hs
      • T1096_Foo.hs
      • T1104Client.hs
      • T1117.hs
      • T1118.hs
      • T1180.hs
      • T1688.hs
      • T1738.hs
      • WrapClient.hs
    • deps/
      • A.hs
      • B.hs
      • C.hs
      • D.hs
    • lib/
      • ExactGADT8.hs
      • FunClashLib.hs
      • FunClashLibLib.hs
      • LibAliasGen00.hs
      • LibBlue.hs
      • LibRed.hs
      • LiquidArray.hs
      • ListLib.hs
      • NameClashLib.hs
      • Peano.hs
      • RL1015.hs
      • ReExport.hs
      • ReflectLib0.hs
      • ReflectLib1.hs
      • ReflectLib2.hs
      • ReflectLib3.hs
      • ReflectLib4.hs
      • ReflectLib5.hs
      • ReflectLib6.hs
      • ReflectLib7.hs
      • ReflectLib8.hs
      • RewriteLib.hs
      • STLib.hs
      • Spec.hs
      • T1096_Types.hs
      • T1102_LibX.hs
      • T1102_LibY.hs
      • T1102_LibZ.hs
      • T1104Lib.hs
      • T1112.hs
      • T1112Lib.hs
      • T1117Lib.hs
      • T1118Lib1.hs
      • T1118Lib2.hs
      • T1688Lib.hs
      • T1738Lib.hs
      • WrapLib.hs
      • WrapLibCode.hs
  • log/
    • summary-develop.csv
    • summary-map_fusion.csv
  • logs/
    • compare-PLE.csv
    • compare-develop-gradual.csv
    • defunctionalized.csv
    • f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-all-import.csv
    • f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-no-import.csv
    • f4764fa7e9b3992c80c4d9f73cbfbcaea4c16071-used-import.csv
    • gradual-with-bools.csv
    • gradual.csv
    • regrtest_results_goto_Fri_Feb__8_2013_POST_SPLITFIX_HUGHESPJ
    • regrtest_results_goto_Fri_Sep_21_171954_2012
    • regrtest_results_goto_Mon_Feb__4_082521_2013
    • regrtest_results_goto_Mon_Jul_14_master
    • regrtest_results_goto_Mon_Jul_14_post_parseparens
    • regrtest_results_goto_Mon_Oct_22_154504_2012
    • regrtest_results_goto_Mon_Oct_22_205256_2012
    • regrtest_results_goto_Sat_Feb_23_183819_2013
    • regrtest_results_goto_Sun_Jan_13_171109_2013
    • regrtest_results_goto_Sun_Jul_13_221212_2014_post_errormsg_parseparens
    • regrtest_results_goto_Sun_Oct_28_172434_2012
    • regrtest_results_goto_Thu_Nov_21_2013-lazyinst
    • regrtest_results_goto_Thu_Nov_21_2013-master
    • regrtest_results_goto_Tue_Jul_15-post-parseparens-and-errormsg-improved
    • regrtest_results_goto_Wed_Nov_20_152850_2013-master
    • regrtest_results_goto_post_qualshrink_Mon_Jul_22_2013
    • regrtest_results_goto_smtlib1_Thu_Jul_18_2013
    • regrtest_results_goto_z3mem_Thu_Jul_18_2013
    • regrtest_results_goto_z3mem_Thu_Jul_18_new_2013
    • regrtest_results_nikiL_Fri_Mar_29_125637_2013
    • regrtest_results_ubuntu_Fri_Jul_29_173855_2011
    • regrtest_results_ubuntu_Mon_Dec__5_033239_2011
    • regrtest_results_ubuntu_Sun_Sep_11_155257_2011
    • regrtest_results_ubuntu_Sun_Sep_11_193855_2011
    • regrtest_results_ubuntu_Sun_Sep_11_201206_2011
    • regrtest_results_ubuntu_Thu_Dec_22_025146_2011
    • regrtest_results_ubuntu_Tue_Jul_19_100718_2011
    • regrtest_results_ubuntu_Wed_Dec_21_031145_2011
    • regrtest_results_ubuntu_Wed_Dec_21_031429_2011
    • regrtest_results_ubuntu_Wed_Dec_21_164526_2011
    • regrtest_results_ubuntu_Wed_Dec_21_180931_2011
    • regrtest_results_ubuntu_Wed_Dec_21_184219_2011
    • regrtest_results_ubuntu_Wed_Dec_21_191326_2011
    • regrtest_results_ubuntu_Wed_Dec_21_191410_2011
    • regrtest_results_ubuntu_Wed_Sep__7_144519_2011
    • slowdown.csv
    • summary-develop-for-gradual.csv
    • summary-develop.csv
    • summary-first-ghc8.csv
    • summary-fix-inst-borscht-9-27-2015.csv
    • summary-last-ghc7.csv
    • summary-master-borscht-9-27-2015.csv
    • summary-new.csv
    • summary-old-dev.csv
    • summary-old-develop.csv
    • summary-pAnd.csv
    • summary-ple.csv
    • summary-symbol-borscht-10-08-2015.csv
    • summary-symbol-intern-borscht-10-08-2015.csv
    • borscht-2015-06-09T20-35-28/
      • summary.csv
    • borscht-2015-07-23T20-12-37/
      • summary.csv
    • typeclasses-analysis/
      • analysis.R
      • compare-typeclass.csv
      • summary_dev.csv
      • summary_typeclasses.csv
  • measure/
    • neg/
      • GList00Lib.hs
      • Len00.hs
      • Len01.hs
      • List00.hs
      • List01.hs
      • List02.hs
      • Ple1Lib.hs
      • Using00.hs
      • bag.hs
      • fst00.hs
      • fst01.hs
      • fst02.hs
      • ple0.hs
      • ple1.hs
    • pos/
      • AbsMeasure.hs
      • ExactFunApp.hs
      • GList000.hs
      • GList00Lib.hs
      • HiddenData.hs
      • HiddenDataLib.hs
      • Len00.hs
      • Len01.hs
      • Len02.hs
      • List00.hs
      • List00Lib.hs
      • List01.hs
      • List02.hs
      • List02Lib.hs
      • Ple1Lib.hs
      • PruneHO.hs
      • RecordAccessors.hs
      • Using00.hs
      • bag.hs
      • fst00.hs
      • fst01.hs
      • fst02.hs
      • ple00.hs
      • ple01.hs
      • ple1.hs
  • names/
    • neg/
      • Assume00.hs
      • Capture01.hs
      • Set00.hs
      • Set01.hs
      • Set02.hs
      • T1078.hs
      • local00.hs
      • vector0.hs
      • vector1.hs
    • pos/
      • Alias00.hs
      • Assume00.hs
      • Assume01.hs
      • BasicLambdas00.hs
      • BasicLambdas01.hs
      • Capture01.hs
      • Capture02.hs
      • ClojurVector.hs
      • HideName00.hs
      • HidePrelude.hs
      • List00.hs
      • LocalSpec.hs
      • Ord.hs
      • Set00.hs
      • Set01.hs
      • Set02.hs
      • Shadow00.hs
      • Shadow01.hs
      • T1521.hs
      • T675.hs
      • Uniques.hs
      • local00.hs
      • local01.hs
      • local02.hs
      • local03.hs
      • vector0.hs
      • vector04.hs
      • vector1.hs
  • neg/
    • AbsApp.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • Ast.hs
    • AutoSize.hs
    • AutoTerm1.hs
    • Automate.hs
    • BadNats.hs
    • Baz.hs
    • BigNum.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CastedTotality.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • DependentTypes.hs
    • Eval.hs
    • EvalQuery.hs
    • ExactADT6.hs
    • ExactGADT6.hs
    • ExactGADT7.hs
    • Fail.hs
    • Fail1.hs
    • FunSoundness.hs
    • FunctionRef.hs
    • GeneralizedTermination.hs
    • HasElem.hs
    • Hex00.hs
    • HigherOrder.hs
    • HolesTop.hs
    • IntAbsRef.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • LetRecStack.hs
    • ListConcat.hs
    • ListElem.hs
    • ListKeys.hs
    • ListMSort.hs
    • ListRange.dat
    • ListRange.hs
    • LocalSpec.hs
    • MaybeMonad.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MergeSort.hs
    • MultiParamTypeClasses.hs
    • MultipleInvariants.hs
    • NameResolution.hs
    • NoExhaustiveGuardsError.hs
    • NoMethodBindingError.hs
    • PairMeasure.hs
    • Propability.hs
    • Propability0.hs
    • QQTySig.hs
    • QQTySyn1.hs
    • QQTySyn2.hs
    • RG.hs
    • ReWrite.hs
    • ReWrite2.hs
    • ReWrite3.hs
    • ReWrite4.hs
    • Rebind.hs
    • RecQSort.hs
    • RecSelector.hs
    • SafePartialFunctions.hs
    • Solver.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • Strings.hs
    • Sumk.hquals
    • T1095C.hs
    • T1126.hs
    • T1198.3.hs
    • T1267.hs
    • T1286.hs
    • T1288.hs
    • T1490.hs
    • T1490A.hs
    • T1498.hs
    • T1498A.hs
    • T1546.hs
    • T1553.hs
    • T1553A.hs
    • T1555.hs
    • T1577.hs
    • T1604.hs
    • T1613.hs
    • T1642A.hs
    • T1657.hs
    • T1657A.hs
    • T1659.hs
    • T1814.hs
    • T602.hs
    • T743-mini.hs
    • T743.hs
    • TermReal.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • TopLevel.hs
    • TotalHaskell.hs
    • TypeLitNat.hs
    • Variance.hs
    • Variance1.hs
    • VerifiedNum.hs
    • alias00.hs
    • ass0.hs
    • bag1.hs
    • concat.hs
    • concat1.hs
    • concat2.hs
    • contra0.hs
    • coretologic.hs
    • csv.hs
    • datacon-eq.hs
    • elim-ex-compose.hs
    • elim-ex-let.hs
    • elim-ex-list.hs
    • elim-ex-map-1.hs
    • elim-ex-map-2.hs
    • elim-ex-map-3.hs
    • elim000.hs
    • errmsg.hs
    • errorloc.hs
    • ex0-unsafe.hs
    • ex1-unsafe.hs
    • filterAbs.hs
    • foldN.hs
    • foldN1.hs
    • grty0.hs
    • grty1.hs
    • grty2.hs
    • grty3.hs
    • inc2.hs
    • list00.hs
    • listne.hs
    • lit.hs
    • mapreduce-tiny.hs
    • mapreduce.hs
    • maps.hs
    • maybe.hs
    • meas0.hs
    • meas2.hs
    • meas3.hs
    • meas5.hs
    • meas7.hs
    • meas9.hs
    • monad3.hs
    • monad4.hs
    • monad5.hs
    • monad6.hs
    • monad7.hs
    • mr00.hs
    • multi-pred-app-00.hs
    • nestedRecursion.hs
    • null.hs
    • pair.hs
    • pair0.hs
    • pargs.hs
    • pargs1.hs
    • partial.hs
    • poly0.hs
    • poly1.hs
    • poly2-degenerate.hs
    • poly2.hs
    • polypred.hs
    • poslist.hs
    • pred.hs
    • prune0.hs
    • range.hs
    • record0.hs
    • revshape.hs
    • risers.hs
    • stacks.hs
    • state0.hs
    • state00.hs
    • string00.hs
    • sumPoly.hs
    • sumk.hs
    • test00.hs
    • test00a.hs
    • test00b.hs
    • test00c.hs
    • test1.hs
    • test2.hs
    • trans.hs
    • truespec.hs
    • tyclass0-unsafe.hs
    • vector00.hs
    • vector0a.hs
    • vector1a.hs
    • vector2.hs
    • wrap0.hs
    • wrap1.hs
  • parser/
    • pos/
      • NestedTuples.hs
      • Parens.hs
      • ReflectedInfix.hs
      • T1012.hs
      • T1481.hs
      • T1531.hs
      • T338.hs
      • T871.hs
      • T873.hs
      • T884.hs
      • T892.hs
      • TokensAsPrefixes.hs
      • Tuples.hs
  • pattern/
    • pos/
      • ANF.hs
      • Invariants.hs
      • MultipleInvariants.hs
      • Return00.hs
      • Return01.hs
      • ReturnStrata00.hs
      • TemplateHaskell.hs
      • TemplateHaskellLib.hs
      • contra0.hs
      • monad0.hs
      • monad1.hs
      • monad7.hs
  • ple/
    • neg/
      • BinahQuery.hs
      • BinahUpdate.hs
      • BinahUpdateClient.hs
      • BinahUpdateLib.hs
      • BinahUpdateLib1.hs
      • ExactGADT5.hs
      • ReflectDefault.hs
      • T1173.hs
      • T1192.hs
      • T1289.hs
      • T1371_Tick.hs
      • T1409.hs
      • T1424.hs
      • ple0.hs
      • ple_sum.hs
    • pos/
      • BinahQuery.hs
      • BinahUpdate.hs
      • Compiler.hs
      • ExactGADT4.hs
      • ExactGADT5.hs
      • ExactGADT7.hs
      • Fulcrum.hs
      • IndLast.hs
      • IndPal0.hs
      • IndPal00.hs
      • IndPalindrome.hs
      • IndPerm.hs
      • IndStar.hs
      • IndStarHole.hs
      • ListAnd.hs
      • Lists.hs
      • MJFix.hs
      • MossakaBug.hs
      • NNFPiotr.hs
      • NegNormalForm.hs
      • ReflectDefault.hs
      • RegexpDerivative.hs
      • RosePLEDiv.hs
      • STLC0.hs
      • STLC1.hs
      • STLC2.hs
      • STLCB0.hs
      • STLCB1.hs
      • StlcBug.hs
      • T1173.hs
      • T1190.hs
      • T1257.hs
      • T1289.hs
      • T1302b.hs
      • T1371.hs
      • T1371_NNF.hs
      • T1382.hs
      • T1409.hs
      • T1424.hs
      • T1424A.hs
      • filterPLE.hs
      • padLeft.hs
      • ple0.hs
      • pleORM.hs
      • ple_sum.hs
      • tmp.hs
      • tmp1.hs
  • pos/
    • AVL.hs
    • AVLRJ.hs
    • Abs.hs
    • Ackermann.hs
    • AdtList0.hs
    • AdtList1.hs
    • AdtList2.hs
    • AdtList3.hs
    • AdtList4.hs
    • AdtList5.hs
    • AdtPeano0.hs
    • AdtPeano1.hs
    • AmortizedQueue.hs
    • Assume.hs
    • AssumedRecursive.hs
    • AutoSize.hs
    • AutoTerm.hs
    • AutoTerm1.hs
    • Automate.hs
    • Avg.hs
    • BST.hs
    • BST000.hs
    • BinarySearch.hs
    • BinarySearchOverflow.hs
    • Books.hs
    • CasesToLogic.hs
    • Cat.hs
    • CharLiterals.hs
    • CheckedNum.hs
    • Chunks.hs
    • Class.hs
    • Class2.hs
    • ClassReg.hs
    • Client521.hs
    • ClojurVector.hs
    • Coercion.hs
    • CommentedOut.hs
    • CompareConstraints.hs
    • Constraints.hs
    • ConstraintsAppend.hs
    • CountMonad.hs
    • DB00.hs
    • DataBase.hs
    • DepData.hs
    • DepTriples.hs
    • DependentPairs.hs
    • DependentPairsFun.hs
    • Deptup1.pred
    • Eval.hs
    • EvalQuery.hs
    • Even.hs
    • Even0.hs
    • ExactADT6.hs
    • ExactGADT.hs
    • ExactGADT0.hs
    • ExactGADT1.hs
    • ExactGADT2.hs
    • ExactGADT6.hs
    • FFI.hs
    • Fail.hs
    • Fib0.hs
    • FibEq.hs
    • FingerTree.hs
    • Foldl.hs
    • Foo.hs
    • Fractional.hs
    • FractionalInstance.hs
    • GCD.hs
    • GeneralizedTermination.hs
    • GhcSort1.hs
    • GhcSort2.hs
    • GhcSort3.T.hs
    • GhcSort3.hs
    • GoodHMeas.hs
    • Graph.hs
    • HasElem.hs
    • HaskellMeasure.hs
    • HedgeUnion.hs
    • Hex00.hs
    • HigherOrderRecFun.hs
    • Hole00.hs
    • Holes-Slicing.hs
    • Holes.hs
    • Hutton.hs
    • IcfpDemo.hs
    • Ignores.hs
    • Infinity.hs
    • Keys.hs
    • LambdaDeBruijn.hs
    • LambdaEval.hs
    • LambdaEvalMini.hs
    • LambdaEvalSuperTiny.hs
    • LambdaEvalTiny.hs
    • LazyWhere.hs
    • LazyWhere1.hs
    • Lib521.hs
    • ListConcat.hs
    • ListElem.hs
    • ListISort-bag.hs
    • ListISort-perm.hs
    • ListKeys.hs
    • ListLen-LType.hs
    • ListLen.hs
    • ListMSort-LType.hs
    • ListMSort.hs
    • ListQSort-LType.hs
    • ListRange-LType.hs
    • ListRange.hs
    • ListReverse-LType.hs
    • ListSort.hs
    • LocalHole.hs
    • LocalLazy.hs
    • LocalSpec.hs
    • LocalSpecLib.hs
    • LogicCurry1.hs
    • Loo.hs
    • LooLib.hs
    • LooLibLib.hs
    • Map.hs
    • Map0.hs
    • Map2.hs
    • MapFusion.hs
    • MapReduceVerified.hs
    • MaskError.hs
    • MeasureContains.hs
    • MeasureDups.hs
    • MeasureSets.hs
    • Measures.hs
    • Measures1.hs
    • Merge1.hs
    • MergeSort-bag.hs
    • MergeSort.hs
    • Mod.hs
    • ModLib.hs
    • MutualRec.hs
    • MutuallyDependentADT.hs
    • NoCaseExpand.hs
    • NoExhaustiveGuardsError.hs
    • ORM.hs
    • OrdList.hs
    • PairMeasure.hs
    • PairMeasure0.hs
    • Permutation.hs
    • PersistentVector.hs
    • PointDist.hs
    • Product.hs
    • PromotedDataCons.hs
    • Propability.hs
    • QQTySig.hs
    • QQTySigTyVars.hs
    • QQTySyn.hs
    • RBTree-col-height.hs
    • RBTree-color.hs
    • RBTree-height.hs
    • RBTree-ord.hs
    • RBTree.hs
    • ReWrite.hs
    • ReWrite10.hs
    • ReWrite2.hs
    • ReWrite3.hs
    • ReWrite4.hs
    • ReWrite5.hs
    • ReWrite6.hs
    • ReWrite7.hs
    • ReWrite8.hs
    • ReWrite9.hs
    • RealProps.hs
    • Rebind.hs
    • RecQSort.hs
    • RecQSort0.hs
    • RecSelector.hs
    • RecordSelectorError.hs
    • Reduction.hs
    • RefinedADTs.hs
    • ReflectAlias.hs
    • ReflectBooleanFunctions.hs
    • ReflectMutual.hs
    • RelativeComplete.hs
    • Repeat.hs
    • Resolve.hs
    • ResolveA.hs
    • ResolveB.hs
    • ResolvePred.hs
    • SafePartialFunctions.hs
    • SimplerNotation.hs
    • SimplifyTup00.hs
    • SingletonLists.hs
    • Solver.hs
    • StackClass.hs
    • StackMachine.hs
    • State.hquals
    • State.hs
    • StateConstraints.hs
    • StateConstraints0.hs
    • StateConstraints00.hs
    • StateF00.hs
    • StateLib.hs
    • Streams.hs
    • StrictPair0.hs
    • StrictPair1.hs
    • StringLit.hs
    • Strings.hs
    • StructRec.hs
    • Sum.hs
    • T1013.hs
    • T1013A.hs
    • T1024.hs
    • T1025.hs
    • T1025a.hs
    • T1034.hs
    • T1045.hs
    • T1045.hs-boot
    • T1045a.hs
    • T1060.hs
    • T1065.hs
    • T1074.hs
    • T1085.hs
    • T1092.hs
    • T1095A.hs
    • T1095B.hs
    • T1095C.hs
    • T1100.hs
    • T1120A.hs
    • T1126.hs
    • T1126a.hs
    • T1198.1.hs
    • T1198.2.hs
    • T1198.3.hs
    • T1198.4.hs
    • T1220.hs
    • T1223.hs
    • T1267.hs
    • T1278.2.hs
    • T1278.3.hs
    • T1278.hs
    • T1286.hs
    • T1288.hs
    • T1289a.hs
    • T1302.hs
    • T1336.hs
    • T1363.hs
    • T1461.hs
    • T1498.hs
    • T1543.hs
    • T1544.hs
    • T1547.hs
    • T1548.hs
    • T1550.hs
    • T1555.hs
    • T1556.hs
    • T1560.hs
    • T1560B.hs
    • T1567.hs
    • T1568.hs
    • T1571.hs
    • T1577.hs
    • T1593.hs
    • T1595.hs
    • T1597.hs
    • T1603.hs
    • T1633.hs
    • T1634.hs
    • T1636.hs
    • T1642.hs
    • T1642A.hs
    • T1647.hs
    • T1649MeasuresDef.hs
    • T1649WorkTypes.hs
    • T1657.hs
    • T1660.hs
    • T1669.hs
    • T1670A.hs
    • T1670B.hs
    • T1697.hs
    • T1697A.hs
    • T1697C.hs
    • T1709.hs
    • T1749.hs
    • T1761.hs
    • T1775.hs
    • T1812.hs
    • T1874.hs
    • T385.hs
    • T531.hs
    • T595.hs
    • T595a.hs
    • T598.hs
    • T716.hs
    • T819.hs
    • T819A.hs
    • T820.hs
    • T866.hs
    • T914.hs
    • Term.hs
    • Termination.hs
    • TerminationNum.hs
    • TerminationNum0.hs
    • Test761.hs
    • TokenType.hs
    • TopLevel.hs
    • ToyMVar.hs
    • TypeAlias.hs
    • TypeLitNat.hs
    • TypeLitString.hs
    • UnboxedTuples.hs
    • UnboxedTuplesAndTH.hs
    • Variance.hs
    • Variance2.hs
    • VerifiedNum.hs
    • WBL.hs
    • WBL0.hs
    • Words.hs
    • Words1.hs
    • WrapUnWrap.hs
    • absref-crash.hs
    • absref-crash0.hs
    • adt0.hs
    • alias00.hs
    • alias01.hs
    • alphaconvert-List.hs
    • alphaconvert-Set.hs
    • anfbug.hs
    • anftest.hs
    • anish1.hs
    • bag1.hs
    • bangPatterns.hs
    • bool0.hs
    • bool1.hs
    • bool2.hs
    • bounds1.hs
    • case-lambda-join.hs
    • cmptag0.hs
    • comma.hs
    • compare.hs
    • compare1.hs
    • compare2.hs
    • comprehension.hs
    • comprehensionTerm.hs
    • coretologic.hs
    • csgordon_issue_296.hs
    • cut00.hs
    • data2.hs
    • dataConQuals.hs
    • datacon-inv.hs
    • datacon0.hs
    • datacon1.hs
    • deepmeas0.hs
    • deptup.hs
    • deptup1.hs
    • deptup3.hs
    • deptupW.hs
    • div000.hs
    • dropwhile.hs
    • duplicate-bind.hs
    • elements.hs
    • elems.hs
    • elim-ex-compose.hs
    • elim-ex-let.hs
    • elim-ex-list.hs
    • elim-ex-map-1.hs
    • elim-ex-map-2.hs
    • elim-ex-map-3.hs
    • elim00.hs
    • elim01.hs
    • eq-poly-measure.hs
    • eqelems.hs
    • ex0.hs
    • ex01.hs
    • ex1.hs
    • exp0.hs
    • extype.hs
    • failName.hs
    • filterAbs.hs
    • foldN.hs
    • foldr.hs
    • for.hs
    • forloop.hs
    • gadtEval.hs
    • gimme.hs
    • go.hs
    • go_ugly_type.hs
    • grty0.hs
    • grty1.hs
    • grty2.hs
    • grty3.hs
    • hello.hs
    • hole-app.hs
    • hole-fun.hs
    • idNat.hs
    • idNat0.hs
    • imp0.hs
    • implies.hs
    • infix.hs
    • inline.hs
    • inline1.hs
    • invlhs.hs
    • ite.hs
    • ite1.hs
    • jeff.hs
    • kmp.hs
    • kmpIO.hs
    • kmpVec.hs
    • lets.hs
    • lex.hs
    • listAnf.hs
    • listSet.hquals
    • listSet.hs
    • listSetDemo.hs
    • listqual.hs
    • lit.hs
    • lit00.hs
    • lit02.hs
    • malformed0.hs
    • mapTvCrash.hs
    • mapreduce-bare.hs
    • maps.hs
    • maps1.hs
    • maybe.hs
    • maybe0.hs
    • maybe000.hs
    • maybe1.hs
    • maybe2.hs
    • maybe3.hs
    • maybe4.hs
    • maybe5.hs
    • meas0.hs
    • meas00.hs
    • meas00a.hs
    • meas0a.hs
    • meas1.hs
    • meas10.hs
    • meas11.hs
    • meas2.hs
    • meas4.hs
    • meas5.hs
    • meas6.hs
    • meas7.hs
    • meas8.hs
    • meas9.hs
    • modTest.hs
    • monad2.hs
    • monad5.hs
    • monad6.hs
    • multi-pred-app-00.hs
    • mutrec.hs
    • nats.hs
    • niki.hs
    • niki1.hs
    • null.hs
    • pair.hs
    • pair0.hs
    • pair00.hs
    • pargs.hs
    • pargs1.hs
    • partial-tycon.hs
    • partialmeasure.hs
    • ple1.hs
    • poly0.hs
    • poly1.hs
    • poly2-degenerate.hs
    • poly2.hs
    • poly3.hs
    • poly3a.hs
    • poly4.hs
    • polyfun.hs
    • polyqual.hs
    • poslist.hs
    • poslist_dc.hs
    • pragma0.hs
    • pred.hs
    • primInt0.hs
    • profcrasher.hs
    • propmeasure.hs
    • propmeasure1.hs
    • qualTest.hs
    • range.hs
    • range1.hs
    • rangeAdt.hs
    • rec_annot_go.hs
    • record0.hs
    • record1.hs
    • recursion0.hs
    • reflect0.hs
    • repeatHigherOrder.hs
    • risers.hs
    • rta.hs
    • scanr.hs
    • selfList.hquals
    • selfList.hs
    • spec0.hs
    • stacks0.hs
    • state00.hs
    • stateInvarint.hs
    • string00.hs
    • tagBinder.hs
    • take.hs
    • term0.hs
    • test0.hs
    • test00-int.hs
    • test00.hs
    • test00.old.hs
    • test000.hs
    • test000.hs.hquals
    • test00b.hs
    • test00c.hs
    • test1.hs
    • test2.hs
    • testRec.hs
    • top0.hs
    • trans.hs
    • transTAG.hs
    • transpose.hs
    • tup0.hs
    • tupparse.hs
    • tyExpr.hs
    • tyclass0.hs
    • tyfam0.hs
    • tyvar.hs
    • unusedtyvars.hs
    • vector00.hs
    • vector1.hs
    • vector1a.hs
    • vector1b.hs
    • vector2.hs
    • wrap0.hs
    • wrap1.hs
    • zipSO.hs
    • zipW.hs
    • zipW1.hs
    • zipW2.hs
    • zipper.hs
    • zipper0.hs
    • zipper000.hs
  • refined-classes/
    • semigroup.hs
    • semigroup_desugared.hs
    • semigroup_unsound.hs
  • reflect/
    • neg/
      • DoubleLit.hs
      • ReflString0.hs
      • ReflString1.hs
    • pos/
      • DoubleLit.hs
      • ReflString0.hs
      • ReflString1.hs
  • spec/
    • neg/
      • Compose1.hs
    • pos/
      • BS1.hs
      • Compose.hs
      • Compose1.hs
  • specfiles/
    • pos/
      • Empty.spec
      • T707.spec
      • T788.spec
      • T924.spec
  • strings/
    • neg/
      • StringIndexingStep1.hs
    • pos/
      • DivideAndQunquer.hs
      • Proves.hs
      • String.hs
      • StringIndexing.hs
      • StringIndexingStep1.hs
      • StringIndexingStep2.hs
      • StringIndexingStep3.hs
    • todo/
      • Boyer_Moore.hs
      • StringIndexing.hs
  • synthesis/
    • TODO/
      • ListConcat.hs
      • ListToBST.hs
      • TreeToList.hs
      • User.hs
    • logs/
      • .gitkeep
    • static/
      • Append.hs
      • BSTFlatten.hs
      • BSTSort.hs
      • BinHeapSingleton.hs
      • Data.hs
      • Data2.hs
      • Data3.hs
      • IntSimple.hs
      • ListId.hs
      • ListInsertSort.hs
      • ListNull.hs
      • ListZip.hs
      • ListZipWith.hs
      • NestedListSimple.hs
      • Stutter.hs
      • TreeOne.hs
      • TupleListSimple.hs
      • map.hs
      • single-elem-list.hs
    • tests/
      • Append.hs
      • BSTFlatten.hs
      • BSTSort.hs
      • BinHeapSingleton.hs
      • Data.hs
      • Data2.hs
      • Data3.hs
      • IntSimple.hs
      • ListId.hs
      • ListInsertSort.hs
      • ListNull.hs
      • ListZip.hs
      • ListZipWith.hs
      • NestedListSimple.hs
      • Stutter.hs
      • TreeOne.hs
      • TupleListSimple.hs
      • map.hs
      • single-elem-list.hs
  • terminate/
    • neg/
      • AutoTerm.hs
      • Even.hs
      • Rename.hs
      • Sum.hs
      • T1404.0.hs
      • T1404.1.hs
      • T1404.2.hs
      • T1404.3.hs
      • T745.hs
      • qsloop.hs
      • term00.hs
      • testRec.hs
      • total00.hs
      • total01.hs
      • total02.hs
    • pos/
      • Ackermann.hs
      • AutoTerm.hs
      • Lexicographic.hs
      • LocalTermExpr.hs
      • StructSecondArg.hs
      • Sum.hs
      • T1245.hs
      • T1396.0.hs
      • T1396.1.hs
      • T1403.hs
      • list00-local.hs
      • list00-str.hs
      • list00.hs
      • list01.hs
      • list02.hs
      • list03.hs
      • list04-local.hs
      • list04.hs
      • list05-local.hs
      • term00.hs
  • tmp/
    • Class2.hs
    • Class3.hs
    • LiquidR.hs
    • LiquidR2.hs
    • Mode.hs
    • T776.hs
    • T777.hs
  • todo/
    • 12-case-study-AVL.lhs
    • 2013-01-10-measuring-lists-I.lhs
    • AA.hs
    • AVLTree.hs
    • AbsRef.hs
    • AbsRefNameClash.hs
    • Adt0.hs
    • AdtBin.hs
    • Aliases.hs
    • AmortizedQueue.hs
    • Append.hs
    • Append0.hs
    • ApplicativeMaybe0.hs
    • ApplicativeMaybe1.hs
    • Ast.hs
    • AxiomBug.hs
    • Axiomatize.hs
    • BadArguments.hs
    • Box.hs
    • Braun.hs
    • CatMaybes.hs
    • CheckProofs.hs
    • Class1.hs
    • Class2.hs
    • Class3.hs
    • Class4.hs
    • Class4Import.hs
    • ClassMeasureBAD.hs
    • ClassMeasureIdeal.hs
    • ClassMeasureOK.hs
    • ClassReflect.hs
    • CmpBug.hs
    • CountMonadMap.hs
    • DB0.hs
    • DBMovies0.hs
    • DerivingRead.hs
    • DiffCheck.hs
    • Eff0.hs
    • Eff1.hs
    • Eff2.hs
    • EffSTT.hs
    • Ensure.hs
    • EnumFromTo.hs
    • Equational.hs
    • ExactGADT3.hs
    • ExactGADT5.hs
    • ExactGADT6.hs
    • FixCrash.hs
    • FldBug.hs
    • GhcListSort.hs
    • ImportBound.hs
    • ImportReflected.hs
    • ImportedNumericInstances.hs
    • Incr.hs
    • InfiniteLists.hs
    • InfixClient.hs
    • InfixLib.hs
    • InlineMeasure.hs
    • IntInvariants.hs
    • Interpreter.hs
    • Intervals.hs
    • InvBug.hs
    • Invariants.hs
    • Invariants1.hs
    • Invariants2.hs
    • InvariantsTermination.hs
    • LambdaDeBruijn.hs
    • LambdaDeBruijn0.hs
    • LazyVar.hs
    • LetRecStack.hs
    • ListDataCons-Neg.hs
    • ListDataCons-Pos.hs
    • ListDataCons.hs
    • ListMem.hs
    • LocalRecursiveFuns.hs
    • LocalSpec.hs
    • LocalSpec1.hs
    • LocalSpecImport.hs
    • LocalSpecTyVar.hs
    • LocalTermExpr1.hs
    • Machine.hs
    • Map-strict.hs
    • Map-wierd.hs
    • MaybeReflect0.hs
    • MaybeReflect1.hs
    • Means.hs
    • Measure.hs
    • MeasureImport.hs
    • MissingAbsRefArgs.hs
    • NameClash.hs
    • NativeFixCrash.hs
    • NeuralNetwork.hs
    • NewType00.hs
    • NoInlines.hs
    • NoInstance.hs
    • NotesOnProductivityTest.hs
    • Parse.hs
    • Parse1.hs
    • PartialAbsApplication.hs
    • Plus.hs
    • QualifCheck.hs
    • RG.hs
    • Recursion.hs
    • Recursion1.hs
    • RedBlack.hs
    • RefinedData.hs
    • RefinedEquality.hs
    • ReflImp.hs
    • RegexpDerivative.hs
    • SMTDiverge.hs
    • SS.hs
    • SYB_Literals.hs
    • SearchTree.hs
    • SelfRefPredicates.hs
    • Signal.hs
    • SortedLists.lhs
    • StateConstraints.hs
    • Strings.hs
    • SubType.hs
    • SuperClassBounds.hs
    • T1037A.hs
    • T1037B.hs
    • T1037C.hs
    • T1089.hs
    • T1094_Lib.hs
    • T1109.hs
    • T1189.hs
    • T1278.1.hs
    • T1326A.hs
    • T1326B.hs
    • T1326C.hs
    • T1481.hs
    • T1549.hs
    • T1551.hs
    • T1555.hs
    • T1649.hs
    • T658.hs
    • T765.hs
    • T770.hs
    • T771.hs
    • T772.hs
    • T776.hs
    • T781.hs
    • T791.hs
    • T791a.hs
    • T870.hs
    • T995.hs
    • T996.hs
    • T997.hs
    • T997a.hs
    • Theorems0.hs
    • Times.hs
    • TreeMap.hs
    • TreeMap0.hs
    • TypeError.hs
    • TypeFun.hs
    • TypeSynonyms.hs
    • UnboundSigs.hs
    • UnboundVarInAssume1.hs
    • UnfoldDataCons.hs
    • Unsound.hs
    • UnsoundMeasure.hs
    • Until.hs
    • UseBound.hs
    • VerifiedNum.hs
    • WBL-crash.hs
    • When.hs
    • absref-crash0.hs
    • aliasConst.hs
    • aliasError.hs
    • appCheck.hs
    • apply.hs
    • baderror.hs
    • baffled.hs
    • binsearch.hs
    • boolparse.hs
    • cases.hs
    • cont.hs
    • contra.hs
    • decr.hs
    • doubleError.hs
    • dyn.hs
    • empty-or.hs
    • err0.hs
    • err1.hs
    • err10.hs
    • err11.hs
    • err12.hs
    • err13.hs
    • err2.hs
    • err3.hs
    • err4.hs
    • err5.hs
    • err6.hs
    • err7.hs
    • err8.hs
    • err9.hs
    • existsAbs.hs
    • false.hs
    • fft.hs
    • fio.hs
    • fixme.lhs
    • funrec.hs
    • gadtEval.hs
    • if.hs
    • inccheck0.hs
    • intP.hs
    • kmpMonad.hs
    • liftbug.hs
    • linspace-crash.hs
    • linspace.hs
    • list-screen.hs
    • lit01.hs
    • mapreduce.hs
    • maps.hs
    • maybe0.hs
    • maybe0000.hs
    • maybe4.hs
    • measbug.hs
    • measfield.hs
    • overload.hs
    • partialmeasureOld.hs
    • ptr.hs
    • ptr2.hs
    • ptr3.hs
    • read.hs
    • satsolver.hs
    • satsolver0.hs
    • splash-total.hs
    • splash-vector.hs
    • stacks1.hs
    • state.hs
    • tdb.hs
    • trans.lhs
    • tupleplus.hs
    • txrec0.hs
    • vector2.hs
  • todo-rebare/
    • DataKinds.hs
    • Inst01_UNSAFE.hs
    • NatClass.hs
    • Strata.hs
    • T1089b.hs
    • VerifiedMonoid_NEG.hs
    • VerifiedMonoid_POS.hs
  • typeclasses/
    • pos/
      • Lemma.hs
      • Lib.hs
      • PNat.hs
      • Semigroup.hs
• typeclass-tests/
  • Data/
    • All.hs
    • Any.hs
    • Dual.hs
    • Either.hs
    • Endo.hs
    • Function.hs
    • Functor.hs
    • Lattice.hs
    • List.hs
    • Maybe.hs
    • PNat.hs
    • Proxy.hs
    • Reader.hs
    • Successors.hs
    • All/
      • Semigroup.hs
    • Any/
      • Semigroup.hs
    • Dual/
      • Semigroup.hs
    • Either/
      • Functor.hs
    • Endo/
      • Semigroup.hs
    • Foldable/
      • Classes.hs
    • Functor/
      • Classes.hs
      • Const.hs
      • Identity.hs
      • State.hs
      • Const/
        • Foldable.hs
        • Functor.hs
      • Identity/
        • Foldable.hs
        • Functor.hs
        • Semigroup.hs
      • State/
        • Functor.hs
    • List/
      • Foldable.hs
      • Functor.hs
      • NonEmpty.hs
      • Semigroup.hs
    • Maybe/
      • Foldable.hs
      • Functor.hs
      • Semigroup.hs
    • Num/
      • Semigroup.hs
    • PNat/
      • Semigroup.hs
    • Reader/
      • Functor.hs
    • Semigroup/
      • Classes.hs
    • Successors/
      • Functor.hs
  • Liquid/
    • ProofCombinators.hs