projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4b58f05
)
typos
author
Chris
<chris.barker@nyu.edu>
Wed, 18 Feb 2015 20:02:08 +0000
(15:02 -0500)
committer
Chris
<chris.barker@nyu.edu>
Wed, 18 Feb 2015 20:02:08 +0000
(15:02 -0500)
exercises/_assignment4.mdwn
patch
|
blob
|
history
diff --git
a/exercises/_assignment4.mdwn
b/exercises/_assignment4.mdwn
index
bb67eb4
..
6c92b54
100644
(file)
--- a/
exercises/_assignment4.mdwn
+++ b/
exercises/_assignment4.mdwn
@@
-2,8
+2,9
@@
## Basic fixed points ##
## Basic fixed points ##
-1. Recall that `ω := \f.ff`, and `Ω := ω ω`.
-Is Ω a fixed point for ω? Find a fixed point for ω,
+1. Recall that <code>ω := \f.ff</code>, and <code>Ω :=
+ω ω</code>. Is <code>Ω</code> a fixed point for
+<code>ω</code>? Find a fixed point for <code>ω</code>,
and prove that it is a fixed point.
## Arithmetic infinity? ##
and prove that it is a fixed point.
## Arithmetic infinity? ##