Agda-2.3.2.2: test/succeed/LineEndings/Mac.agda

module LineEndings.Mac where

postulate ThisWorks : Set