rzk-0.11.0: test/typecheck/cases/ill-repeated-binder-lambda.rzk

#lang rzk-1

#define bad : (x y : Unit) → Unit
  := \ x x → unit