diff options
| author | Nadrieril | 2024-05-28 12:01:31 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-30 11:57:40 +0200 |
| commit | b669f7c1228efb362cbb56b95090b24c0611ba7b (patch) | |
| tree | 35ab571237ee21553371284dcf5507d73b03d2e2 /tests/lean/misc/MutuallyRecursiveTraits.lean | |
| parent | 245699d636b320581131ed28e086cd96aa5d1cec (diff) | |
tests: Add a README
Diffstat (limited to 'tests/lean/misc/MutuallyRecursiveTraits.lean')
0 files changed, 0 insertions, 0 deletions