search

sneeuwballen / benchpress

Testing and benchmarking tool for logic-related programs.
BSD 2-Clause "Simplified" License
26 stars 8 forks source link

use ocamlformat #60

Closed c-cube closed 1 year ago

c-cube commented 1 year ago

it's time :D