diff options
| author | Marvin Borner | 2023-02-23 14:25:27 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-23 14:25:27 +0100 |
| commit | e8456ff880c5aa72171183e0b0043ca731a086fa (patch) | |
| tree | 114924bedf3f3e10a50467ac724cf55c817ca6d4 /std/Byte.bruijn | |
| parent | c11a39217ac9e0a166442a634692114343a484ee (diff) | |
Additions to standard library
Mainly new binary encoding and corresponding functions
Diffstat (limited to 'std/Byte.bruijn')
| -rw-r--r-- | std/Byte.bruijn | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/std/Byte.bruijn b/std/Byte.bruijn deleted file mode 100644 index 8dcbb7b..0000000 --- a/std/Byte.bruijn +++ /dev/null @@ -1,24 +0,0 @@ -# MIT License, Copyright (c) 2022 Marvin Borner - -:import std/Logic . -:import std/Combinator . -:import std/List . - -# bit 0 -b0 false - -# bit 1 -b1 true - -# returns true if two bytes are equal -eq? ⋀?‣ ∘∘ (zip-with xnor?) - -…=?… eq? - -:test ('a' =? 'a') (true) -:test ('a' =? 'b') (false) - -# generates a byte with correct endianness -byte [[[[[[[[0 : (1 : (2 : (3 : (4 : (5 : (6 : (7 : empty)))))))]]]]]]]] - -:test (byte b0 b1 b1 b0 b0 b0 b0 b1) ('a') |