proof_checker/lib/parser/dune
2024-09-04 17:40:00 -07:00

3 lines
69 B
Text

(library
(name pfparser)
(libraries kernel fmlib_parse fmlib_std))