Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update from Hackage at 2020-06-17T23:14:24Z
- Loading branch information
1 parent
1e9c5bc
commit c187874
Showing
2 changed files
with
94 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,93 @@ | ||
Name: TeX-my-math | ||
Version: 0.202.0.0 | ||
Category: math | ||
Synopsis: Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio. | ||
Description: For tl;dr: look at <https://github.com/leftaroundabout/Symbolic-math-HaTeX/blob/master/EXAMPLES.md>. | ||
. | ||
This is an attempt to get convenient math syntax in HaTeX (i.e., in data structures | ||
compatible \/ convertable to those from <http://hackage.haskell.org/package/HaTeX>). | ||
. | ||
The idea is to combine these features: | ||
. | ||
* Full access to the math-typesetting power of LaTeX. It should be possible to express | ||
any formula that might be found in a typical mathematics or physics journal article. | ||
This should also include expression which are not quite well-defined from a programming | ||
point of view, but are clear to the intended audience. | ||
. | ||
* Idiomatic Haskell syntax. Who wants to bother with unreadable expressions involving | ||
either hundreds of double-backslashes or extra syntax overhead in wrapping them | ||
explicitly into HaTeX? | ||
. | ||
Ideally, one would write expressions as if only meaning Haskell to /calculate/ them, | ||
but get the result back as a full pretty-printing LaTeX math string. /And the actual | ||
calculated result as well/, if possible! | ||
. | ||
To this end, we use a minimal symbolic-manipulation EDSL, namely | ||
<http://hackage.haskell.org/package/dumb-cas dumb-cas>, set up in a way so the | ||
leaves of the syntax tree, i.e. the individual symbols, are represented by LaTeX | ||
expressions in memory and by single-letter variables in the Haskell code. | ||
These can then be combined with operators corresponding to LaTeX's maths operators, | ||
to obtain a very compact and almost WYSIWYG-like code appearance, while retaining | ||
the ability to apply any LaTeX-specific tweaks whenever necessary. At the same | ||
time, because the AST is fully precedence-aware, it is safely possible to transform | ||
the expressions via e.g. Template Haskell, to actually compute concrete numerical | ||
results, or apply exact symbolic-manipulation techniques. | ||
License: GPL-3 | ||
License-file: COPYING | ||
Author: Justus Sagemüller | ||
Maintainer: (@) jsag $ hvl.no | ||
Homepage: http://github.com/leftaroundabout/Symbolic-math-HaTeX | ||
Build-Type: Simple | ||
Cabal-Version: >=1.10 | ||
|
||
Library | ||
Build-Depends: base>=4.8 && <4.14 | ||
, HaTeX>3.22.2.0 | ||
, vector-space | ||
, dumb-cas >= 0.2 && < 0.3 | ||
, decimal-literals | ||
, text | ||
, void | ||
, hashable, unordered-containers | ||
, template-haskell, haskell-src-meta | ||
Exposed-modules: Math.LaTeX.Prelude | ||
Math.LaTeX.StringLiterals | ||
Math.LaTeX.Internal.MathExpr | ||
Math.LaTeX.Internal.Display | ||
Other-modules: CAS.Dumb.LaTeX.Symbols | ||
Math.LaTeX.Internal.OperatorGenerator | ||
Default-Language: Haskell2010 | ||
|
||
test-suite makeSnippets | ||
default-language: | ||
Haskell2010 | ||
type: | ||
exitcode-stdio-1.0 | ||
hs-source-dirs: | ||
test/PdfSnippets | ||
main-is: | ||
MkSnippets.hs | ||
Other-modules: | ||
LaTeXComparer | ||
build-depends: | ||
base >= 4 && < 5 | ||
, template-haskell, haskell-src-meta | ||
, dumb-cas | ||
, HaTeX | ||
, TeX-my-math | ||
, text | ||
, directory, filepath, process | ||
|
||
executable TeXmyMath-example | ||
default-language: | ||
Haskell2010 | ||
hs-source-dirs: | ||
example | ||
main-is: | ||
Simple.hs | ||
build-depends: | ||
base | ||
, TeX-my-math | ||
, HaTeX | ||
, text | ||
, directory, filepath, process |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
{"package-hashes":{"MD5":"b68a7e07876f17b6bd8f1a04fc8dc76b","Skein512_512":"6bd3915cfd58e4b0277835b2371d639cf731ed9568bcfbe555dfbb3449394f7462832da93d0ec939d6aafcf93bae3daf41761ce5052acbca143ab6b69b993ea2","SHA1":"0ed553e9800ee837f4c59131570ac98f3efadb3a","SHA512":"f75236e138373ff800a6d55bf9f31e42ff1e37456a8505b74c0371797e01575b4673210bf2e28473f3df4b5021bda69b6ae0a975631e17826a1758a8b114a313","SHA256":"4b43860669940a7a6e7158c8e1140775b7b4d299206b050ff99ccd839e3a3c2a"},"package-locations":["https://hackage.haskell.org/package/TeX-my-math-0.202.0.0/TeX-my-math-0.202.0.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/TeX-my-math-0.202.0.0.tar.gz"],"package-size":30553} |