Egison Prover Egison with a dependent type system How to test cabal build cabal exec egison-prover -- sample/test.pegi