Commits

Iago Abal  committed 72dd1a2

Fix comment

  • Participants
  • Parent commits a70d598

Comments (0)

Files changed (1)

File Data/BitVector.hs

 -- >>> [n]k ==. [m]k
 -- False
 --
--- >>> [n]k == [n]k
+-- >>> [n]k ==. [n]k
 -- True
 --
 (==.) :: BV -> BV -> Bool