Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / kosmikus/lhs2tex issues and pull requests

#111 - Custom setup hangs if LaTeX package missing

Issue - State: open - Opened by adamgundry 2 months ago - 1 comment

#110 - NumericUnderscores is misparsed

Issue - State: open - Opened by gergoerdi 3 months ago

#109 - Use newtxmath instead of amstext and amssymb (#82)

Pull Request - State: open - Opened by sgraf812 6 months ago

#108 - Build with hugs98 or nhc98?

Issue - State: open - Opened by barracuda156 8 months ago

#106 - Type applications

Issue - State: open - Opened by zenzike 8 months ago - 2 comments

#105 - forall dot issue

Issue - State: open - Opened by HaskellZhangSong 9 months ago - 1 comment

#103 - Document \plainhs, \mathhs, etc.

Issue - State: open - Opened by sgraf812 11 months ago

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

Issue - State: open - Opened by sgraf812 about 1 year ago - 2 comments

#101 - FAQ entry addressing compile time performance

Pull Request - State: open - Opened by sgraf812 about 1 year ago

#100 - Set license to GPL-2.0-or-later

Issue - State: open - Opened by nomeata about 1 year ago

#99 - GitHub ci

Pull Request - State: closed - Opened by kosmikus over 1 year ago

#98 - Cosmetic changes

Pull Request - State: closed - Opened by kosmikus over 1 year ago

#97 - Better error message when --pre is called with the unexpected number of arguments

Pull Request - State: closed - Opened by sgraf812 over 1 year ago - 1 comment

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

Issue - State: closed - Opened by sgraf812 over 1 year ago - 2 comments

#95 - Support in --pre mode for comment,spec,evaluate,perform,eval, etc.

Pull Request - State: closed - Opened by sgraf812 over 1 year ago - 2 comments

#94 - Document the purpose of `--file-directives` and `--no-pragmas`

Issue - State: open - Opened by sgraf812 over 1 year ago - 1 comment
Labels: documentation

#93 - `ucs` in `Agda.fmt` does not work well anymore

Issue - State: open - Opened by L-TChen over 1 year ago
Labels: agda

#92 - [ fix #91 ] Add missing keywords for Agda

Pull Request - State: closed - Opened by L-TChen over 1 year ago

#91 - The list of keywords in Agda is outdated

Issue - State: closed - Opened by L-TChen over 1 year ago

#90 - lhs2tex doesn't compile on ghc 9.6.1

Issue - State: closed - Opened by GeorgeCo almost 2 years ago - 12 comments

#89 - lhs2TeX breaks table specs of tabular environment

Issue - State: closed - Opened by jexek almost 2 years ago - 2 comments

#88 - Manifold installation woes

Issue - State: closed - Opened by goldfirere over 3 years ago - 4 comments

#87 - Can't install: lhs2TeX: fd:7: hGetLine: end of file

Issue - State: open - Opened by tomjaguarpaw almost 4 years ago - 7 comments
Labels: documentation

#86 - can't install on ghc 8.10.2

Issue - State: closed - Opened by GeorgeCo over 4 years ago - 1 comment

#85 - Update polytable

Pull Request - State: closed - Opened by kosmikus over 4 years ago

#84 - Fail to link/install lhs2tex-1.24

Issue - State: closed - Opened by mouse07410 over 4 years ago - 5 comments

#83 - \aligncolumn not working properly with \restorecolumns

Issue - State: closed - Opened by Krantz-XRF over 4 years ago - 3 comments

#82 - Conflict with acmart

Issue - State: open - Opened by Lysxia over 4 years ago - 6 comments
Labels: latex

#81 - Line pragmas incorrect for subsequent code / spec blocks

Issue - State: closed - Opened by kosmikus almost 5 years ago

#80 - Use the correct filepaths in preprocessor mode

Pull Request - State: closed - Opened by mpickering almost 5 years ago - 1 comment

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

Issue - State: closed - Opened by andreasabel almost 5 years ago - 2 comments

#78 - Release a new version to Hackage

Issue - State: closed - Opened by RyanGlScott about 5 years ago - 3 comments

#77 - Prevent gobbling of space before first character of comments

Pull Request - State: closed - Opened by casperbp over 5 years ago - 1 comment

#76 - Allow building with Cabal-3.0 (GHC 8.8)

Pull Request - State: closed - Opened by RyanGlScott over 5 years ago - 7 comments

#75 - OPTIONS_GHC pragma not rendered correctly

Issue - State: open - Opened by boris-stepanov over 5 years ago - 1 comment

#74 - Hex literals don't work properly

Issue - State: closed - Opened by kosmikus over 5 years ago

#73 - SyncTex (or pdfsync) and lhs2TeX

Issue - State: open - Opened by conal about 6 years ago - 9 comments

#72 - Makes wording, grammar and formatting improvements to documentation

Pull Request - State: closed - Opened by mdimjasevic about 6 years ago - 2 comments

#70 - lhs2tex on Windows 10

Issue - State: closed - Opened by thalesad over 6 years ago - 4 comments

#69 - lhs2tex doesn't compile in 8.4.2 and 8.4.3

Issue - State: closed - Opened by GeorgeCo over 6 years ago - 2 comments

#68 - Conflict with beamerarticle

Issue - State: open - Opened by scmu over 6 years ago - 3 comments
Labels: latex

#67 - Make Implicit.lhs consistent with ImplicitIn.lhs

Pull Request - State: closed - Opened by bgeron almost 7 years ago - 1 comment

#66 - polytext mode

Issue - State: open - Opened by nomeata almost 7 years ago - 1 comment

#65 - subst spec directive ignored

Issue - State: open - Opened by patrikja about 7 years ago - 1 comment
Labels: enhancement, backward-compatibility

#64 - lhs2tex 1.19 hangs on (what I believe to be) innocuous input

Issue - State: closed - Opened by jegi about 7 years ago - 6 comments

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

Issue - State: open - Opened by carlostome about 7 years ago - 1 comment
Labels: bug-on-correct-input, agda

#62 - Fix typo

Pull Request - State: closed - Opened by sergv over 7 years ago - 1 comment

#61 - User interaction improvements as specified in #59.

Pull Request - State: closed - Opened by kindaro over 7 years ago - 1 comment

#60 - Math style is choking on curly brace.

Issue - State: closed - Opened by kindaro over 7 years ago - 1 comment

#57 - Comments are indented

Issue - State: open - Opened by ivanperez-keera over 7 years ago - 6 comments
Labels: backward-compatibility

#56 - Different styles (?) in one file?

Issue - State: closed - Opened by nomeata over 7 years ago - 2 comments

#55 - build failure: showVersion is ambiguous

Issue - State: closed - Opened by DanBurton over 7 years ago - 2 comments

#54 - forall.fmt doesn't use \mathpunct on `.`

Issue - State: open - Opened by Blaisorblade over 7 years ago
Labels: enhancement, backward-compatibility

#53 - More forall-like operators

Issue - State: open - Opened by Blaisorblade over 7 years ago
Labels: documentation

#52 - Loop on uppercase argument names

Issue - State: open - Opened by Blaisorblade almost 8 years ago - 1 comment
Labels: bug-on-incorrect-input

#51 - Remove hugs from the documentation

Issue - State: open - Opened by kosmikus almost 8 years ago
Labels: documentation

#50 - Anonymous "_" argument not rendered consistently.

Issue - State: open - Opened by guenterrote almost 8 years ago - 1 comment
Labels: bug-on-correct-input, documentation

#49 - Ocaml syntax

Pull Request - State: open - Opened by balez almost 8 years ago

#48 - Feature request: hyperlink identifiers to their declaration

Issue - State: open - Opened by hishamhm almost 8 years ago - 2 comments
Labels: enhancement

#47 - Support typesetting without preprocessor

Issue - State: closed - Opened by nomeata about 8 years ago - 4 comments

#46 - Support parsing ' used to promote types to kinds.

Issue - State: open - Opened by goldfirere over 8 years ago - 7 comments
Labels: enhancement, backward-compatibility, documentation

#45 - Handle DataKinds tick

Pull Request - State: open - Opened by phadej over 8 years ago - 3 comments

#44 - \begin{verbatim} generates deprecated \tt

Issue - State: closed - Opened by brunom over 8 years ago - 4 comments

#43 - lhs2tex uses OT1 encoding?

Issue - State: open - Opened by Blaisorblade over 8 years ago - 4 comments
Labels: backward-compatibility, latex

#42 - Added 'forall' formatting directive

Pull Request - State: closed - Opened by benjamin-hodgson over 9 years ago - 2 comments

#41 - Respect pretty linebreaks in eval

Issue - State: closed - Opened by drautzburg almost 10 years ago - 1 comment

#40 - lhs2tex does not work with GHC 7.10.1

Issue - State: closed - Opened by jstolarek almost 10 years ago - 11 comments

#39 - Fix ambiguous regex dep.

Pull Request - State: closed - Opened by mf59816 about 10 years ago - 4 comments

#38 - Type level programming confuses lhs2tex

Issue - State: closed - Opened by idontgetoutmuch about 10 years ago - 2 comments

#37 - setup: /usr/local/share/texmf/tex/latex: does not exist

Issue - State: closed - Opened by josefs over 10 years ago - 1 comment

#36 - Manditory code blocks

Issue - State: closed - Opened by johndcook over 10 years ago - 2 comments

#35 - Allow the use of diagrams qua BlogLiteratelyD

Issue - State: open - Opened by idontgetoutmuch over 10 years ago
Labels: enhancement

#34 - Installation bootstrapping problem: Setup.hs already needs regex-compat

Issue - State: closed - Opened by andreasabel about 11 years ago - 2 comments

#33 - Stack overflow from implicit formatting (in particular with --agda)

Issue - State: open - Opened by patrikja about 11 years ago - 2 comments
Labels: bug-on-correct-input

#32 - Underscore in a pragma breaks the generated LaTeX code

Issue - State: closed - Opened by gallais over 11 years ago - 1 comment

#31 - Add option to remove the -ignore-dot-ghci flag

Issue - State: open - Opened by ifigueroap over 11 years ago - 4 comments
Labels: enhancement

#30 - Hex constants parsed incorrectly

Issue - State: open - Opened by surr over 11 years ago - 1 comment
Labels: bug-on-correct-input

#29 - Poly style incompatible with the unicode-math package (XeLaTeX)

Issue - State: closed - Opened by asr over 11 years ago - 3 comments

#28 - Count grapheme clusters, not code points

Issue - State: open - Opened by nad almost 12 years ago
Labels: enhancement, backward-compatibility

#27 - `polycode.fmt` seems to be incompatible with `--tt` style

Issue - State: closed - Opened by kosmikus almost 12 years ago - 1 comment

#26 - Using spec or code environments in subfigures breaks float labels

Issue - State: closed - Opened by spockz about 12 years ago - 2 comments

#25 - Underscore in a comment breaks the generated LaTeX code

Issue - State: closed - Opened by spockz about 12 years ago - 1 comment

#24 - lhs2TeX uses T3 fonts

Issue - State: closed - Opened by andreasabel over 12 years ago - 9 comments

#23 - \aligncolumn ate the formatting of my %format

Issue - State: open - Opened by spl over 12 years ago - 6 comments
Labels: documentation

#22 - Document example of using \aligncolumn

Issue - State: open - Opened by spl over 12 years ago - 4 comments
Labels: documentation

#21 - Agda options are rendered incorrectly

Issue - State: open - Opened by asr over 12 years ago
Labels: agda

#20 - Agda dot patterns are not always parsed correctly

Issue - State: open - Opened by andreasabel over 12 years ago
Labels: agda

#19 - Agda infix comma operator is rendered incorrectly

Issue - State: open - Opened by asr over 12 years ago
Labels: agda

#18 - Agda pragmas are rendered incorrectly

Issue - State: open - Opened by andreasabel over 12 years ago - 9 comments
Labels: agda

#17 - Fixed compilation with GHC 7.4.1 and improved Unicode support for Agda

Pull Request - State: closed - Opened by asr over 12 years ago

#16 - float literals not rendered correctly

Issue - State: closed - Opened by andreasabel almost 13 years ago - 1 comment

#15 - unindent not correctly recognized (possibly in connection with `infix`)

Issue - State: open - Opened by andreasabel almost 13 years ago
Labels: bug-on-correct-input

#14 - does not parse Haddock style comment

Issue - State: open - Opened by andreasabel almost 13 years ago - 8 comments
Labels: enhancement

#13 - page breaks

Issue - State: open - Opened by kosmikus about 13 years ago
Labels: enhancement

#12 - Problem with data definition

Issue - State: closed - Opened by toothbrush about 13 years ago - 3 comments