kosmikus/lhs2tex

Issues

• forall dot issue

  #105 opened 6 months ago by HaskellZhangSong
  1

• Conflict with acmart

  #82 opened 4 years ago by Lysxia
  6

• polytable 2020/07/14 v0.8.6 crashes with Package array Error: Empty preamble: `l' used.

  #104 opened 6 months ago by andreasabel
  1

• Build with hugs98 or nhc98?

  #108 opened 5 months ago by barracuda156
  0

• Build error: `Could not find module ‘Text.Regex’`

  #107 opened 5 months ago by barracuda156
  0

• Type applications

  #106 opened 5 months ago by zenzike
  2

• Document \plainhs, \mathhs, etc.

  #103 opened 8 months ago by sgraf812
  0

• `%format pref a = "pref"a` without space in --newcode

  #102 opened a year ago by sgraf812
  2

• Set license to GPL-2.0-or-later

  #100 opened a year ago by nomeata
  0

• Manifold installation woes

  #88 opened a year ago by goldfirere
  4

• Could one introduce an environment to customize the whole mass of the code snippets in a document?

  #59 opened a year ago by kindaro
  5

• The arguments to a parametrized directive are not recognized with --agda after one use

  #63 opened 7 years ago by carlostome
  1

• Support parsing ' used to promote types to kinds.

  #46 opened 8 years ago by goldfirere
  7

• Feature request: hyperlink identifiers to their declaration

  #48 opened 8 years ago by hishamhm
  2

• lhs2tex uses OT1 encoding?

  #43 opened 8 years ago by Blaisorblade
  4

• More forall-like operators

  #53 opened 7 years ago by Blaisorblade
  0

• Conflict with beamerarticle

  #68 opened 6 years ago by scmu
  3

• `ucs` in `Agda.fmt` does not work well anymore

  #93 opened a year ago by L-TChen
  0

• Can't install: lhs2TeX: fd:7: hGetLine: end of file

  #87 opened 3 years ago by tomjaguarpaw
  7

• Document the purpose of `--file-directives` and `--no-pragmas`

  #94 opened a year ago by sgraf812
  1

• Math style is choking on curly brace.

  #60 opened a year ago by kindaro
  1

• A more modular approach (not needing to run on the main tex file)?

  #79 opened a year ago by andreasabel
  2

• subst spec directive ignored

  #65 opened 7 years ago by patrikja
  1

• Different styles (?) in one file?

  #56 opened a year ago by nomeata
  2

• Comments are indented

  #57 opened 7 years ago by ivanperez-keera
  6

• Anonymous "_" argument not rendered consistently.

  #50 opened 8 years ago by guenterrote
  1

• Remove hugs from the documentation

  #51 opened 8 years ago by kosmikus
  0

• Support typesetting without preprocessor

  #47 opened a year ago by nomeata
  4

• Loop on uppercase argument names

  #52 opened 8 years ago by Blaisorblade
  1

• forall.fmt doesn't use \mathpunct on `.`

  #54 opened 7 years ago by Blaisorblade
  0

• Bogus build failure under MacOS X 10.13.6 (High Sierra) and GHC 8.4.3, using commit ID: 2db1d7e0c62cb6ae7f8ed25c1540d758a9e36dfe

  #71 opened a year ago by capn-freako
  4

• cabal v2-install puts doc/Guide2.lhs in its dist-newtyle/ dir, build broken

  #96 opened a year ago by sgraf812
  2

• \aligncolumn not working properly with \restorecolumns

  #83 opened a year ago by Krantz-XRF
  3

• lhs2tex doesn't compile on ghc 9.6.1

  #90 opened a year ago by GeorgeCo
  12

• The list of keywords in Agda is outdated

  #91 opened a year ago by L-TChen
  0

• Can something be done with <$> (infix fmap from Control.Applicative)? Because it looks awful.

  #58 opened 7 years ago by kindaro
  7

• lhs2TeX breaks table specs of tabular environment

  #89 opened 2 years ago by jexek
  2

• polytext mode

  #66 opened 7 years ago by nomeata
  1

• OPTIONS_GHC pragma not rendered correctly

  #75 opened 5 years ago by boris-stepanov
  1

• can't install on ghc 8.10.2

  #86 opened 4 years ago by GeorgeCo
  1

• Fail to link/install lhs2tex-1.24

  #84 opened 4 years ago by mouse07410
  5

• Line pragmas incorrect for subsequent code / spec blocks

  #81 opened 5 years ago by kosmikus
  0

• Release a new version to Hackage

  #78 opened 5 years ago by RyanGlScott
  3

• Hex literals don't work properly

  #74 opened 5 years ago by kosmikus
  0

• SyncTex (or pdfsync) and lhs2TeX

  #73 opened 6 years ago by conal
  9

• lhs2tex doesn't compile in 8.4.2 and 8.4.3

  #69 opened 6 years ago by GeorgeCo
  2

• lhs2tex on Windows 10

  #70 opened 6 years ago by thalesad
  4

• lhs2tex 1.19 hangs on (what I believe to be) innocuous input

  #64 opened 7 years ago by jegi
  6

• \begin{verbatim} generates deprecated \tt

  #44 opened 7 years ago by brunom
  4

• build failure: showVersion is ambiguous

  #55 opened 7 years ago by DanBurton
  2