Este es el comando lhs2TeX que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
lhs2TeX - un traductor alfabetizado de código Haskell a (La) TeX
SINOPSIS
lhs2TeX archivo [opciones]
DESCRIPCIÓN
Esta herramienta toma como entrada un archivo fuente Haskell alfabetizado (estilo Bird o estilo LaTeX o
incluso una combinación de los mismos), y produce una salida, que, dependiendo de la ESTILO seleccionado,
puede ser un documento LaTeX o una versión reducida del código. La salida se produce
en stdout. Varias directivas son interpretadas por lhs2TeX sí mismo y se puede utilizar para
personalizar aún más la salida.
OPCIONES
Hay dos tipos de opciones para lhs2TeX. El primero selecciona un ESTILO que gobierna el
modo general de funcionamiento para lhs2TeX. Solo se puede seleccionar un estilo:
--escuela politécnica El estilo polivinílico es una mejora del antiguo las matemáticas estilo. Produce un LaTeX
documento, con los bloques de código formateados con una fuente proporcional. La salida es
altamente personalizable mediante directivas de formato. Además, el código resultante
respeta algunas de las alineaciones realizadas en el archivo fuente.
--Matemáticas El estilo matemático es como poli estilo, pero tiene menos capacidades de alineación. Tokens
que aparecen en el archivo de origen en una columna especial se alinean en la salida.
Además, se respeta la sangría.
--nuevo código
En el nuevo estilo de código, todo menos los bloques de código se elimina del archivo. En
Además, ciertas transformaciones sintácticas se pueden realizar en el código usando
directivas de formato. Por ejemplo, si el código fuente está anotado en ciertos
posiciones para producir resultados aún mejores en poli estilo, uno puede usar nuevo código estilo para
eliminar estas anotaciones.
--código En el estilo de código, todos los comentarios y el código de especificación se eliminan del archivo, por lo que
que solo queda el código. Use esto si desea producir una versión más pequeña de
su archivo fuente.
--tt El estilo de máquina de escribir imprime el código casi literalmente, usando una fuente monoespaciada, pero
formatear ciertos símbolos (abstracción lambda, flechas ...) usando un extendido
conjunto de caracteres. Este estilo es predeterminado si no se selecciona explícitamente ningún estilo, pero
no se debe confiar en el comportamiento. El estilo predeterminado puede cambiarse en el futuro
versiones.
--verbo El estilo literal imprime el código tal cual, utilizando una fuente monoespaciada. Sin formato de ningún tipo
se aplica al código. Sin embargo, lhs2TeX no hace uso de LaTeX literalmente
entorno, sino que escapa a construcciones especiales de TeX en la traducción. Esta
implica que es más fácil pasar el código TeX resultante a macros o usarlo dentro
ciertos entornos de lo que sería con un entorno literal nativo.
Las siguientes opciones se consideran también como estilos, pero solo devuelven
información sobre el programa:
-h, -?, --ayuda
Devuelve un breve mensaje de uso que enumera todas las opciones disponibles.
-V, --versión
Devuelve información de la versión.
--proceso de copiar
Muestra la licencia pública general GNU completa.
--garantía
Muestra las partes de la GPL que se refieren a la garantía.
Las opciones restantes modifican el comportamiento del programa.
-Pcamino, --ruta =camino
Toma una lista (separada por dos puntos) camino de rutas que se utilizan como ruta de búsqueda de archivos
ser incluido. Si la lista comienza con dos puntos, entonces la lista se agrega al
ruta de búsqueda actual. Si la lista termina con dos puntos, entonces la lista se antepone a
la ruta de búsqueda actual. Si no hay dos puntos al principio ni al final
final de la lista, la lista reemplaza la ruta de búsqueda actual.
Las variables de entorno se pueden usar en la lista de rutas, si están encerradas en curly
llaves, es decir, {var} se expande al valor actual de la variable de entorno VAR.
Si un camino termina con una barra doble //, entonces todos los subdirectorios de esa ruta son
incluido en la ruta de búsqueda. Tenga en cuenta que esto puede ralentizar significativamente lhs2TeX
al buscar archivos.
La ruta de búsqueda predeterminada incorporada de lhs2TeX is
{HOME} / lhs2TeX //
{HOME} /. Lhs2TeX //
{LHS2TEX} //
/ usr / local / share / lhs2tex //
/ usr / local / share / lhs2TeX //
/ usr / local / lib / lhs2tex //
/ usr / local / lib / lhs2TeX //
/ usr / share / lhs2tex //
/ usr / share / lhs2TeX //
/ usr / lib / lhs2tex //
/ usr / lib / lhs2TeX //
-ipresentar, --include =presentar
Perfecta para los verdaderos apasionados. Recibirás todo lo del plan de XNUMX €, en mayor cantidad, presentar antes de nada. Esta opción tiene el mismo efecto que una
%incluir presentar
directiva al principio del archivo fuente.
-lecuación, --let =ecuación
Asume ecuación mientras se procesa el archivo de origen. Esta opción tiene el mismo efecto
como herramienta de edición del
%dejar ecuación
directiva al principio del archivo fuente.
-sbandera, --set =bandera
Sets bandera a Cierto al principio del archivo fuente. Esta opción tiene la misma
efecto como
%dejar bandera= Verdadero
al principio del archivo fuente.
-ubandera, --unset =bandera
Sets bandera a Falso al principio del archivo fuente. Esta opción tiene la misma
efecto como
%dejar bandera= Falso
al principio del archivo fuente.
VERSION
1.19
AUTORES
Andrés Loeh escribió poli y nuevo código estilos y es el
mantenedor actual del paquete.
Ralf Hinze escribió el original lhs2TeX.
Use lhs2TeX en línea usando los servicios de onworks.net
