Structure Testing.MyStruct2

Modification history

2023-07-12 00:58
test/Traversable.lean
feat: port `Traversable` deriving handlers (#5606)
Added Testing.MyStruct2View on Github →