on fdfd99e help sign in
Idris-dev/test/syntax001/SyntaxOk.idr
6 lines 51 B history raw
1module SyntaxOk
3syntax "fnord" [y] = y + y + y