convert json string to movemap

2026-07-23 03:56:57 +00:00 · 2026-05-28 16:28:56 +02:00
parent 6f74db087e
commit 9a2b7dbb86
2 changed files with 14 additions and 1 deletions
@@ -1,7 +1,7 @@
 (library
 (name pgn_logic)
 (public_name pgn_to_tex)
- (libraries sedlex menhirLib)
+ (libraries sedlex menhirLib yojson)
 (modules ast parser lexer parsing latex latex_helpers pgn2tex nag)
 (preprocess
  (pps sedlex.ppx)))