1/1: Building Door (Door.idr)1/1: Building Stack (Stack.idr)1/1: Building StackIO (StackIO.idr)1/1: Building Vending (Vending.idr)