Skip to content

Commit 4f3045d

Browse files
cristianoccristianoc
committed
reduce combinator paper
1 parent 2b42f30 commit 4f3045d

File tree

3 files changed

+530
-0
lines changed

3 files changed

+530
-0
lines changed

‎.gitignore‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,3 +7,5 @@ lib/
77
*.cmj
88
*.cmi
99
*.rei
10+
reduce.aux
11+
reduce.log

‎reduce.pdf‎

311 KB
Binary file not shown.

0 commit comments

Comments
 (0)