data_workspacelist_workspa.txt

10. Apr, 2022 — Raw

data WorkspaceList = WorkspaceList [WorkspaceId]
instance ExtensionClass WorkspaceList where
    initialValue = WorkspaceList [scratchpadWorkspaceTag]