language BindDemo 1 Expr
  cons category Expr Code
  cons namespace Value lexical
  cons reader ws some scalar whitespace
  cons extension BuiltinWord "nepl3.reader/name-v1" "reader/v1"
  cons reader word call "nepl3.reader/name-v1"
  cons reader number some scalar digit
  cons mode Code
    cons skip ws
    cons take Word word
    cons take Number number
    nil
  cons leaf Number Expr Number none cons style self "quantity" nil
  cons leaf Name Expr Word
    reference Value self
    cons style self "name" nil
  cons form Let Expr "let"
    cons field name builtin Name
    cons field init local Expr
    cons field body local Expr
    nil
    group
      cons visit init
      cons scope
        cons bind Value name
        cons visit body
        nil
      nil
    cons style head "marker" nil
  cons form Lambda Expr "lambda"
    cons field parameter builtin Name
    cons field body local Expr
    nil
    scope
      cons bind Value parameter
      cons visit body
      nil
    cons style head "marker" nil
  cons form Apply Expr "apply"
    cons field function local Expr
    cons field argument local Expr
    nil
    group cons visit function cons visit argument nil
    cons style head "marker" nil
  nil