contrib/extraction/test/bench


1
2
3
4
5
6

#!/bin/sh
../../../bin/coqtop.byte -batch -load-vernac-source ./bench.v
ocamlc -c -i polylist.ml
ocamlc -c -i zarith.ml
ocamlc -c -i even.ml