1/2: Building Linear (Linear.idr)2/2: Building Door (Door.idr)Door> 0 m : Type -> Type 1 d : Door Closed-------------------------------------something : IntDoor> 0 m : Type -> Type 1 d : Door Closed x : Int-------------------------------------bar : Use Many m ()Door> 0 m : Type -> Type 0 d : Door Closed-------------------------------------something2 : IntDoor> 0 m : Type -> Type 0 d : Door Closed x : Int 1 d' : Door Closed-------------------------------------bar2 : Use Many m ()Door> Bye for now!
1/2: Building Linear (Linear.idr)
2/2: Building Door (Door.idr)
Door> 0 m : Type -> Type
1 d : Door Closed
-------------------------------------
something : Int
Door> 0 m : Type -> Type
1 d : Door Closed
x : Int
-------------------------------------
bar : Use Many m ()
Door> 0 m : Type -> Type
0 d : Door Closed
-------------------------------------
something2 : Int
Door> 0 m : Type -> Type
0 d : Door Closed
x : Int
1 d' : Door Closed
-------------------------------------
bar2 : Use Many m ()
Door> Bye for now!