idris-0.9.19: test/syntax001/SyntaxTest.idr

module SyntaxTest
import SyntaxOk

foo : Nat
foo = fnord "argh"