lambda_mountain 1.12.1

Lambda Mountain
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12


type Type TNil;

print := λ(: tt Type). (: (match tt (
   ()
#   ( TNil (print 'Nil_s))
)) Nil);

typecheck := λ. (: (tail(
   ()
   ()
)) Nil);