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