data/lhs2tex-1.24/AUTHORS: ASCII text data/lhs2tex-1.24/CHANGELOG.md: ASCII text data/lhs2tex-1.24/Examples/FormatAlign.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Examples/HelloWorld.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Examples/MaxSegment.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Examples/Unlit.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Examples/UnlitP.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Examples/lhs2TeXpre: POSIX shell script, ASCII text executable data/lhs2tex-1.24/INSTALL: ASCII text data/lhs2tex-1.24/LICENSE: ASCII text data/lhs2tex-1.24/Library/agda.fmt: ASCII text data/lhs2tex-1.24/Library/beamer.fmt: ASCII text data/lhs2tex-1.24/Library/beamerboxed.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/Library/colorcode.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/Library/exists.fmt: ASCII text data/lhs2tex-1.24/Library/forall.fmt: ASCII text data/lhs2tex-1.24/Library/greek.fmt: ASCII text data/lhs2tex-1.24/Library/jfpcompat.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/Library/lambda.fmt: ASCII text data/lhs2tex-1.24/Library/polycode.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/Library/spacing.fmt: ASCII text data/lhs2tex-1.24/Makefile: ASCII text data/lhs2tex-1.24/Setup.hs: ASCII text data/lhs2tex-1.24/TODO: ASCII text data/lhs2tex-1.24/Testsuite/Makefile: ASCII text data/lhs2tex-1.24/Testsuite/Test.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/Testsuite/Try.lhs: ASCII text data/lhs2tex-1.24/Testsuite/braces.snip: ASCII text data/lhs2tex-1.24/Testsuite/comments.snip: ASCII text data/lhs2tex-1.24/Testsuite/errors.snip: ASCII text data/lhs2tex-1.24/Testsuite/format.snip: ASCII text data/lhs2tex-1.24/Testsuite/gap.snip: ASCII text data/lhs2tex-1.24/Testsuite/idents.snip: ASCII text data/lhs2tex-1.24/Testsuite/indentation.snip: ASCII text data/lhs2tex-1.24/Testsuite/meta.snip: LaTeX document, ASCII text data/lhs2tex-1.24/Testsuite/operators.snip: ASCII text data/lhs2tex-1.24/Testsuite/parens.snip: ASCII text data/lhs2tex-1.24/Testsuite/spacing.snip: ASCII text data/lhs2tex-1.24/Testsuite/special.snip: ASCII text data/lhs2tex-1.24/cata.snip: ASCII text data/lhs2tex-1.24/common.mk: ASCII text data/lhs2tex-1.24/configure: POSIX shell script, ASCII text executable data/lhs2tex-1.24/doc/AGExample.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/AGExampleIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Accidental.lhs: ASCII text data/lhs2tex-1.24/doc/AccidentalC.lhs: ASCII text data/lhs2tex-1.24/doc/AccidentalCIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/AccidentalIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/AlignColumnSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/CabalInstallation.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/CalcExample.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/CalcExampleIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Card.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/CardIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/CompleteDirectives.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Complex.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ConfigureCall.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Directives.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatArrow.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatArrow2.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatElem.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatGreekIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatGreekOut.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatId.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatIdentifierExamples.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatIdentifierRedefs.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatIdentifierWrong.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatRecurse.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatStar.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/FormatSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/GHExample.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/GHExampleIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/GroupExample.lhs: ASCII text data/lhs2tex-1.24/doc/GroupExampleIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/GroupSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Guide2.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/doc/Guide2.pdf: PDF document, version 1.5 data/lhs2tex-1.24/doc/HackageInstallation.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorld.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorldBirdInput.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorldBirdSpecInput.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorldCodeInput.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorldDialogue.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HelloWorldInput.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/doc/HelloWorldSpecInput.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/HsIndent.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/IfSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Implicit.lhs: ASCII text data/lhs2tex-1.24/doc/ImplicitIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ImplicitUnderscore.lhs: ASCII text data/lhs2tex-1.24/doc/ImplicitUnderscoreIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/IncludePrelude.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/IncludeSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent1.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent1In.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent2.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent2In.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent2a.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent2aIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent3.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Indent3In.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/InlineTeXSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/InstallationInstructions.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Interactive.lhs: ASCII text data/lhs2tex-1.24/doc/InteractiveGhci.lhs: ASCII text data/lhs2tex-1.24/doc/InteractiveGhciIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/InteractiveHugs.lhs: ASCII text data/lhs2tex-1.24/doc/InteractiveHugs.lhs.in: ASCII text data/lhs2tex-1.24/doc/InteractiveHugsIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/InteractiveIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/InteractivePre.lhs: ASCII text data/lhs2tex-1.24/doc/InteractivePre.lhs.in: ASCII text data/lhs2tex-1.24/doc/InteractivePreIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/LetSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Makefile: TeX document, ASCII text data/lhs2tex-1.24/doc/Map.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/MkTeXLsrCall.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ParensExample.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ParensExample2.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ParensExample2In.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ParensExampleIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/PlusDefinition.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/PolyPrelude.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/doc/RawSearchPath.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/RepAlg.lhs: ASCII text data/lhs2tex-1.24/doc/RepAlgIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/STC.lhs: LaTeX 2e document, ASCII text data/lhs2tex-1.24/doc/SaveRestore.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SaveRestoreIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SaveRestoreNo.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SearchPath.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SepLatSyntax.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SpacingOps.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/SpacingOpsCond.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Variable.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/Zip.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipMath.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipPoly.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipPolyIn.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipPolyTT.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipStupid.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/ZipTT.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/doc/poly.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/polytt.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/stupid.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/tex.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/typewriter.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/verbatim.fmt: LaTeX document, ASCII text data/lhs2tex-1.24/doc/lhs2TeXpre: POSIX shell script, ASCII text executable data/lhs2tex-1.24/id.snip: ASCII text data/lhs2tex-1.24/install-sh: POSIX shell script, ASCII text executable data/lhs2tex-1.24/lhs2TeX.1.in: troff or preprocessor input, ASCII text data/lhs2tex-1.24/lhs2TeX.fmt.lit: LaTeX document, ASCII text data/lhs2tex-1.24/lhs2TeX.sty.lit: LaTeX document, ASCII text data/lhs2tex-1.24/lhs2tex.cabal: ASCII text data/lhs2tex-1.24/mkinstalldirs: POSIX shell script, ASCII text executable data/lhs2tex-1.24/polytable/lazylist.sty: LaTeX auxiliary file, ASCII text data/lhs2tex-1.24/polytable/polytable.pdf: PDF document, version 1.4 data/lhs2tex-1.24/polytable/polytable.sty: LaTeX auxiliary file, ASCII text data/lhs2tex-1.24/sorts.snip: ASCII text data/lhs2tex-1.24/spec.snip: LaTeX document, ASCII text data/lhs2tex-1.24/src/Auxiliaries.lhs: ASCII text data/lhs2tex-1.24/src/Directives.lhs: ASCII text data/lhs2tex-1.24/src/Document.lhs: ASCII text data/lhs2tex-1.24/src/FileNameUtils.lhs: ASCII text data/lhs2tex-1.24/src/FiniteMap.lhs: ASCII text data/lhs2tex-1.24/src/HsLexer.lhs: ASCII text data/lhs2tex-1.24/src/License.lhs: ASCII text data/lhs2tex-1.24/src/Main.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/src/Math.lhs: ASCII text data/lhs2tex-1.24/src/MathCommon.lhs: ASCII text data/lhs2tex-1.24/src/MathPoly.lhs: ASCII text data/lhs2tex-1.24/src/NewCode.lhs: ASCII text data/lhs2tex-1.24/src/Parser.lhs: ASCII text data/lhs2tex-1.24/src/State.lhs: ASCII text data/lhs2tex-1.24/src/StateT.lhs: ASCII text data/lhs2tex-1.24/src/TeXCommands.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/src/TeXParser.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/src/Typewriter.lhs: ASCII text data/lhs2tex-1.24/src/Value.lhs: LaTeX document, ASCII text data/lhs2tex-1.24/src/Verbatim.lhs: ASCII text data/lhs2tex-1.24/src/Version.lhs.in: ASCII text data/lhs2tex-1.24/debian/changelog: ASCII text data/lhs2tex-1.24/debian/compat: ASCII text data/lhs2tex-1.24/debian/control: ASCII text data/lhs2tex-1.24/debian/copyright: ASCII text data/lhs2tex-1.24/debian/dirs: ASCII text data/lhs2tex-1.24/debian/doc-base: ASCII text data/lhs2tex-1.24/debian/docs: ASCII text data/lhs2tex-1.24/debian/patches/01_always_install_polytable.patch: POSIX shell script, ASCII text executable data/lhs2tex-1.24/debian/patches/10_fix_bashims.patch: POSIX shell script, ASCII text executable data/lhs2tex-1.24/debian/patches/series: ASCII text data/lhs2tex-1.24/debian/rules: a /usr/bin/make -f script, ASCII text executable data/lhs2tex-1.24/debian/source/format: ASCII text data/lhs2tex-1.24/debian/watch: ASCII text data/lhs2tex-1.24/.pc/.version: ASCII text data/lhs2tex-1.24/.pc/.quilt_patches: ASCII text data/lhs2tex-1.24/.pc/.quilt_series: ASCII text data/lhs2tex-1.24/.pc/applied-patches: ASCII text data/lhs2tex-1.24/.pc/01_always_install_polytable.patch/config.mk.in: ASCII text data/lhs2tex-1.24/.pc/10_fix_bashims.patch/Examples/lhs2TeXpre: POSIX shell script, ASCII text executable data/lhs2tex-1.24/.pc/10_fix_bashims.patch/doc/lhs2TeXpre: POSIX shell script, ASCII text executable data/lhs2tex-1.24/config.mk.in: ASCII text