Skip to content

Instantly share code, notes, and snippets.

@kcsongor

kcsongor/lhs2texpre

Created April 24, 2020 13:51
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kcsongor/c76902aea9fa1da06de5ef7a94b70f44 to your computer and use it in GitHub Desktop.
Save kcsongor/c76902aea9fa1da06de5ef7a94b70f44 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lhs2texpre
#!/bin/sh
lhs2TeX --newcode $2 > $4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment