Revision - 865a78b - generate goals that work when argument/result types are different

Revision 865a78bff564d7a1b1c27037a724abc4ea9d50da authored by François Dupressoir on 12 April 2022, 11:34:15 UTC, committed by François Dupressoir on 12 April 2022, 11:34:15 UTC

generate goals that work when argument/result types are different

1 parent 85b0b5e

Files
Changes

.gitignore

*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...