diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-22 21:51:54 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-22 21:51:54 +0200 |
| commit | 32f51048343ee23e6382e5aff37308ec015fcdf3 (patch) | |
| tree | ca04663473bf0e5aa987e154eb86ef1f57b01fff /Nominal/LambdaCalculus | |
| parent | aceb6d9d4b27c642057f025b03333ee375661609 (diff) | |
add product and coproduct instances
Diffstat (limited to 'Nominal/LambdaCalculus')
0 files changed, 0 insertions, 0 deletions