idris-0.9.19: test/syntax001/Syntax.idr

module Syntax

syntax "fnord" [y] = y + y + y

foo : Nat
foo = fnord "argh"