Note: Currently, Macrodown is extended to a new typesetting system SATySFi.

Summary of Macrodown

Macrodown is a markup language wrapping other markup languages such as TeX/LaTeX or HTML. It consists mainly of two “layers” ― the text layer and the program layer. The former is for writing documents in LaTeX-like syntax. The latter, which has ML-like syntax, is for defining functions and macros with Hindley-Milner polymorphic static typing. It enables you to write documents semantically markuped with flexible macros of your own making.

Install

First, clone/download this repository.

Manual build of SATySFi

1. Install ocamlbuild, ocamlfind, and Menhir.
2. In repository, run make.
3. macrodown should then be available under the diretory.
4. Run make install to install satysfi as /usr/local/bin/satysfi.
5. Run make install-lib to create a symbolic link for the library.

You can modify the directory for the installation by specifying PREFIX like sudo make install PREFIX=/usr/bin. the symbolic link for the SATySFi library will be created as /usr/local/lib-satysfi -> DIR/lib-satysfi where DIR is the top directory of the repository.

Usage of Macrodown

Type

macrodown <input files> -o <output file>

in order to convert <input files> (file names separated with spaces) into <output file>. For example, when you want to convert doc.mcrd into output.tex using your own header file macros.mcrdh, the following command will work:

macrodown macros.mcrdh doc.mcrd -o output.tex

Note that macros.mcrdh should precede doc.mcrd. The current specification of Macrodown is written (currently only in Japanese) at doc/introduction.mcrd.