on aa062fc help sign in
8 lines 78 B history raw
1module Syntax
3syntax "fnord" [y] = y + y + y
5foo : Nat
6foo = fnord "argh"