bound-extras-0: examples/stlc-id.txt

id : (-> Nat Nat)
id = (the (-> Nat Nat) (fn x x))
id = (the (-> Nat Nat) (fn x x))