projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
manip trees tweaks
[lambda.git]
/
new_stuff.mdwn
diff --git
a/new_stuff.mdwn
b/new_stuff.mdwn
index
f39287d
..
8843d37
100644
(file)
--- a/
new_stuff.mdwn
+++ b/
new_stuff.mdwn
@@
-1,12
+1,6
@@
Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
Page for Chris and Jim to see what each other is working on, but hasn't necessarily been posted to main wiki index yet.
-[[Week4]]
-[[Week5]]
-[[Assignment4]]
-
-[[advanced_lambda]]
-
-[[lambda_library]]
+[[Curry-Howard]]