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

module LineEndings.Unix where

postulate ThisWorks : Set