Skip to content

Issues: kosmikus/lhs2tex

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

47 Open 40 Closed
47 Open 40 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Build with hugs98 or nhc98?
#108 opened Jun 22, 2024 by barracuda156
Build error: Could not find module ‘Text.Regex’
#107 opened Jun 21, 2024 by barracuda156
Type applications
#106 opened Jun 19, 2024 by zenzike
2
forall dot issue
#105 opened Jun 2, 2024 by HaskellZhangSong
1
polytable 2020/07/14 v0.8.6 crashes with Package array Error: Empty preamble: `l' used.
#104 opened May 30, 2024 by andreasabel
1
Document \plainhs, \mathhs, etc.
#103 opened Apr 4, 2024 by sgraf812
%format pref a = "pref"a without space in --newcode
#102 opened Dec 12, 2023 by sgraf812
2
Set license to GPL-2.0-or-later
#100 opened Nov 26, 2023 by nomeata
Document the purpose of --file-directives and --no-pragmas documentation
#94 opened Oct 5, 2023 by sgraf812
1
ucs in Agda.fmt does not work well anymore agda
#93 opened Aug 1, 2023 by L-TChen
Can't install: lhs2TeX: fd:7: hGetLine: end of file documentation
#87 opened May 21, 2021 by tomjaguarpaw
7
Conflict with acmart latex
#82 opened Jun 17, 2020 by Lysxia
1
6
OPTIONS_GHC pragma not rendered correctly
#75 opened Sep 18, 2019 by boris-stepanov
1
SyncTex (or pdfsync) and lhs2TeX
#73 opened Feb 3, 2019 by conal
9
Conflict with beamerarticle latex
#68 opened Jun 12, 2018 by scmu
3
polytext mode
#66 opened Mar 11, 2018 by nomeata
6 tasks
1
subst spec directive ignored backward-compatibility enhancement
#65 opened Jan 27, 2018 by patrikja
1
The arguments to a parametrized directive are not recognized with --agda after one use agda bug-on-correct-input
#63 opened Dec 14, 2017 by carlostome
1
Can something be done with <$> (infix fmap from Control.Applicative)? Because it looks awful.
#58 opened Oct 27, 2017 by kindaro
7
Comments are indented backward-compatibility
#57 opened Sep 30, 2017 by ivanperez-keera
6
forall.fmt doesn't use \mathpunct on . backward-compatibility enhancement
#54 opened Jul 19, 2017 by Blaisorblade
More forall-like operators documentation
#53 opened Jul 19, 2017 by Blaisorblade
Loop on uppercase argument names bug-on-incorrect-input
#52 opened May 16, 2017 by Blaisorblade
1
Remove hugs from the documentation documentation
#51 opened Apr 4, 2017 by kosmikus
Anonymous "_" argument not rendered consistently. bug-on-correct-input documentation
#50 opened Apr 3, 2017 by guenterrote
1
ProTip! Add no:assignee to see everything that’s not assigned.