will-holdsworth/comp30002-project-2
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor: remove unneeded bound on allChords, already bound via <

Browse source
This commit is contained in:
wi11-holdsworth 2025-10-07 19:35:06 +11:00
parent 6bdd553610
commit 9cf2fd5960
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Proj2.hs
View file

@ -229,7 +229,7 @@ allChords =
p2 <- allPitches, p2 <- allPitches,
p3 <- allPitches, p3 <- allPitches,
let chord = [p1, p2, p3], let chord = [p1, p2, p3],
length (nub chord) == 3, length chord == 3,
p1 < p2, p1 < p2,
p2 < p3 p2 < p3
] ]