projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
lists-to-contin tweaks
[lambda.git]
/
new_stuff.mdwn
diff --git
a/new_stuff.mdwn
b/new_stuff.mdwn
index
a081480
..
8843d37
100644
(file)
--- a/
new_stuff.mdwn
+++ b/
new_stuff.mdwn
@@
-1,7
+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.
-[[Week10]]
-[[Week11]]
-[[Assignment8]]
+[[Curry-Howard]]
+