6 lines
109 B
Text
6 lines
109 B
Text
definition tst : ℕ
|
||
(λ a, 2 + 3) ℕ
|
||
definition tst : ℕ
|
||
foo ℕ
|
||
definition tst1 : ℕ
|
||
(λ A a, a) ℕ 10
|