aboutsummaryrefslogtreecommitdiff
path: root/gentrace.sh
diff options
context:
space:
mode:
authorMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-21 23:13:42 +0200
committerMikolaj Konarski <mikolaj.konarski@gmail.com>2024-04-21 23:13:42 +0200
commit4def20b2699f8268ba7d03f3a228273ff613dc0d (patch)
tree4994299865d50b3d51a91976e5217b2c85086b22 /gentrace.sh
parentf29e8a37daf2ed55ea849c286e1bfb1025b67329 (diff)
Derive also the Ord instance for sized lists
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions