rzk-0.8.0: test/typecheck/cases/happy-check.rzk

#lang rzk-1

#define id (A : U)
  : A → A
  := \ x → x

#check id : (A : U) → A → A