#!/bin/bash
echo Cleaning files
/bin/rm *.agdai *.vo *.vok *.cmi *.cmo
time ocamlc -c example.ml
time lean example.lean
time agda example.agda
time coqc example.v
time lean exampleDependentNoTactic.lean
time lean exampleDependentTactic.lean
time agda exampleDependent.agda
time coqc exampleDependent.v