Language-Engineering exampleMachine.circ should be opened in Logisim. bool.lhs and circ.lhs should work fine with the relevant imports. Candidate: Benny Clark Candidate No: 28435