forked from net-art-uchicago/code-poetry
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathlambda.pie
More file actions
64 lines (62 loc) · 1.62 KB
/
lambda.pie
File metadata and controls
64 lines (62 loc) · 1.62 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
#lang pie
(claim holy
(-> (-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
(-> Nat Nat)
Nat))
(define holy
(λ (a)
(λ (b)
(λ (c)
(λ (d)
(λ (e)
(λ (f)
(λ (g)
(λ (h)
(λ (i)
(λ (j)
(λ (k)
(λ (l)
(λ (m)
(λ (n)
(λ (o)
(λ (p)
(λ (q)
(λ (r)
(λ (s)
(λ (t)
(λ (u)
(λ (v)
(λ (w)
(λ (x)
(λ (y)
(λ (z)
(t (h (e (b (e (s (t (s (y (n (t (a (x (o (f (a (l (o (n (z (o (c (h (u (r (c (h 0))))))))))))))))))))))))))))))))))))))))))))))))))))))
(claim apply
(-> Nat Nat))
(define apply
(λ (n)
(add1 n)))