Inductive_Calculus/lib/dune

4 lines
43 B
Plaintext
Raw Permalink Normal View History

2024-11-08 12:55:19 +01:00
(library
(libraries bindlib)
(name PTS))