diff options
author | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 23:13:42 +0200 |
---|---|---|
committer | Mikolaj Konarski <mikolaj.konarski@gmail.com> | 2024-04-21 23:13:42 +0200 |
commit | 4def20b2699f8268ba7d03f3a228273ff613dc0d (patch) | |
tree | 4994299865d50b3d51a91976e5217b2c85086b22 /.gitignore | |
parent | f29e8a37daf2ed55ea849c286e1bfb1025b67329 (diff) |
Derive also the Ord instance for sized lists
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions