TypeTheory/typed-lambda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
typed-lambda/test.lmd

1 line
34 B
Text
Raw Permalink Normal View History

Restructured
2023-06-15 18:00:02 +02:00
k :: Nat -> Nat -> Nat := \x.\y.x;
Reference in a new issue Copy permalink