on master help sign in
Fix typos in libs/prelude/Prelude/Bits.idr
commit03ad31f1483b0bf44974513d33c57d3dd3eba717 authorFelix Yan <felixonmars@archlinux.org> dateSat 5 Aug 2017, 03:29 (9 years ago) parentb95196f
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 =