on master help sign in
Merge pull request #3977 from felixonmars/fix/typo

Fix typos in libs/prelude/Prelude/Bits.idr

commitc0c6665451b50bf44f46c9d78d851329961ecbb4 authorNiklas Larsson <metaniklas@gmail.com> dateSat 5 Aug 2017, 01:16 (9 years ago) parent0838a9203ad31f
1 file changed+4−4
libs/prelude/Prelude/Bits.idr+4−4
libs/prelude/Prelude/Bits.idr+4−4
@@ -21,12 +21,12 @@ import Prelude.Strings
2121-- Convert to `List Bits8`
2222--------------------------------------------------------------------------------
2323
24−||| Convert to list of `Bits8` with the most signficant byte at the
24+||| Convert to list of `Bits8` with the most significant byte at the
2525||| head.
2626b8ToBytes : Bits8 -> List Bits8
2727b8ToBytes b = [b]
2828
29−||| Convert to list of `Bits8` with the most signficant byte at the
29+||| Convert to list of `Bits8` with the most significant byte at the
3030||| head.
3131b16ToBytes : Bits16 -> List Bits8
3232b16ToBytes b =
@@ -34,7 +34,7 @@ b16ToBytes b =
3434 , prim__truncB16_B8 b
3535 ]
3636
37−||| Convert to list of `Bits8` with the most signficant byte at the
37+||| Convert to list of `Bits8` with the most significant byte at the
3838||| head.
3939b32ToBytes : Bits32 -> List Bits8
4040b32ToBytes b =
@@ -44,7 +44,7 @@ b32ToBytes b =
4444 , prim__truncB32_B8 b
4545 ]
4646
47−||| Convert to list of `Bits8` with the most signficant byte at the
47+||| Convert to list of `Bits8` with the most significant byte at the
4848||| head.
4949b64ToBytes : Bits64 -> List Bits8
5050b64ToBytes b =