Add example input/output for bit-and monoid

1ae4befb · Hans-Peter Deifel · 87b8ef1d · 1ae4befb · 1ae4befb
Commit 1ae4befb authored Mar 13, 2019 by Hans-Peter Deifel 🐢
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

examples/bit-and examples/bit-and +5 -0

examples/bit-and.out examples/bit-and.out +2 -0

No files found.
--- a/examples/bit-and
+++ b/examples/bit-and
+(ℕ, and)^X
+
+x: {x: 0xDEADFFFF, y: 0xFFFFBEEF}
+y: {x: 0xDEADBEEF, y: 0xDEADBEEF}
+z: {x: 0xFEEDC0FE, y: 0xA, z: 0xB}
--- a/examples/bit-and.out
+++ b/examples/bit-and.out
+Block 0: x, y
+Block 1: z