You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9 lines
113 B
Racket
9 lines
113 B
Racket
8 years ago
|
#lang wires-demo
|
||
|
8 years ago
|
x AND y -> d
|
||
|
|
x OR y -> e
|
||
|
|
x LSHIFT 2 -> f
|
||
|
|
y RSHIFT 2 -> g
|
||
|
|
NOT x -> h
|
||
|
|
NOT y -> i
|
||
|
|
123 -> x
|
||
|
|
456 -> y
|