agda-unused-0.2.0: data/expression/Let.agda

module Let where

f
  : {A : Set}
  → A
  → A
f x
  = let
      y = x
      z = x
    in y