/tests/Properties/

• ../
• Delete.hs
• Failure.hs
• Floating.hs
• Focus.hs
• GreedyView.hs
• Insert.hs
• Layout
• Screen.hs
• Shift.hs
• Stack.hs
• StackSet.hs
• Swap.hs
• View.hs
• Workspace.hs