diff options
| author | Josh Chen | 2019-02-05 18:15:58 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-05 18:15:58 +0100 |
| commit | d70da13b7fd36509c1d843d139a0b99c6acb8cc6 (patch) | |
| tree | 62206eefc3bf574f1a184a23c43d36a8523e9fd6 /Coprod.thy | |
| parent | 7a7e27f4a1efd69e9ab43b95d3c7ead61a743e55 (diff) | |
Type inference setup begun - first use-case for function composition.
Diffstat (limited to 'Coprod.thy')
0 files changed, 0 insertions, 0 deletions