File: expected

package info (click to toggle)
agda-stdlib 2.1-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 9,196 kB
  • sloc: haskell: 375; makefile: 32; sh: 28; lisp: 1
file content (20 lines) | stat: -rw-r--r-- 719 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
"\SOH\STX\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\NUL\ETX"
------------------------------------------------------------------------
1 = 0b00000001
1 = 0x01
1 = 1
144 = 0b10010000
144 = 0x90
144 = 144
------------------------------------------------------------------------
2 = 0b0000000000000000000000000000000000000000000000000000000000000010
2 = 0x00000002
2 = 2
------------------------------------------------------------------------
3 = 0b0000000000000000000000000000000000000000000000000000000000000011
3 = 0x00000003
3 = 3
------------------------------------------------------------------------
2024 = 0b0000000000000000000000000000000000000000000000000000011111101000
2024 = 0x000007e8
2024 = 2024