mirror of
https://github.com/TheRealOwenRees/pgn_to_tex.git
synced 2026-07-22 19:46:57 +00:00
11 lines
220 B
Plaintext
11 lines
220 B
Plaintext
(library
|
|
(name pgn_logic)
|
|
(public_name pgn_to_tex)
|
|
(libraries sedlex menhirLib yojson)
|
|
(modules ast parser lexer parsing latex latex_helpers pgn2tex nag)
|
|
(preprocess
|
|
(pps sedlex.ppx)))
|
|
|
|
(menhir
|
|
(modules parser))
|