diff options
| author | Yves Bertot | 2018-05-10 13:57:00 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-10 13:57:00 +0200 |
| commit | 6763c589d4097da0a58ad72adf8b201c660b8b84 (patch) | |
| tree | 9fd975f62da7145f0ee9eef8419e380346a99691 /doc/plugin_tutorial/README.md | |
| parent | cb49f4c22261174f4c0a7f1a26fa795af8ed2155 (diff) | |
| parent | 4459f8cc7e1c3e4204b5a833e8c9e722609bf355 (diff) | |
This version has type inference performing proofs, using both type classes
and canonical structures
Diffstat (limited to 'doc/plugin_tutorial/README.md')
0 files changed, 0 insertions, 0 deletions