std/Byte.bruijn


1
2
3
4
5
6
7
8
9
10
11
12
13
14

# MIT License, Copyright (c) 2022 Marvin Borner

:import std/Combinator .

:import std/List .

# bit 0
b0 false

# bit 1
b1 true

# generates a byte with correct endianness
byte [[[[[[[[0 : (1 : (2 : (3 : (4 : (5 : (6 : (7 : empty)))))))]]]]]]]]