Skip to main content

Browse the archive

Revision 1e291193e648ecbfe22b45215e52b23ec94f1f4b authored by Pierre-Yves Strub on 28 April 2022, 14:25:12 UTC, committed by Pierre-Yves Strub on 28 April 2022, 14:25:12 UTC 
fix printing of type-classes names
1 parent 9f4d3bc
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top