You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
#lang brag
|
|
|
|
|
|
|
|
|
|
top : (func-def | func-app)*
|
|
|
|
|
func-def : /"fun" var /"(" boundvars /")" /"=" expr
|
|
|
|
|
/boundvars : var [/"," var]
|
|
|
|
|
expr : var "+" var | func-app
|
|
|
|
|
func-app : var /"(" arg [/"," arg] /")"
|
|
|
|
|
@var : ID
|
|
|
|
|
@arg : var | INT
|
