diff options
| author | Pierre Courtieu | 2020-03-12 18:19:34 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2020-03-12 18:24:21 +0100 |
| commit | 7ee9052a1eca95fa60b9f16b173887f76dce90f7 (patch) | |
| tree | c6de401e3156af00d9fd852f73581b1a9703211f /generic | |
| parent | db7149abd8e3355b9a195f5513075808fff8d197 (diff) | |
moving tests for monadic notations and Equations in separate files.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions