#lang plait
{let1 {x 5}
  {* x x}}

{let1 x  ; potential syntax
  {* x x}} ;for anonymous function

{lam x
  {* x x}}