From e8456ff880c5aa72171183e0b0043ca731a086fa Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 23 Feb 2023 14:25:27 +0100
Subject: Additions to standard library

Mainly new binary encoding and corresponding functions
---
 std/Byte.bruijn | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 std/Byte.bruijn

(limited to 'std/Byte.bruijn')

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')
-- 
cgit v1.2.3