diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:31:59 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:31:59 -0600 |
| commit | e62bc618513cd9daa9f5cbcc98daa3a4fbf9fb99 (patch) | |
| tree | e4b08aa7b3149e937ff15509822a17a1d036ab09 /Data | |
| parent | be9bb2ed6e1fb7505ccbda3787c59f5f1a378006 (diff) | |
Make setoids monoidal structure opaque
Diffstat (limited to 'Data')
0 files changed, 0 insertions, 0 deletions