cleanup winner README.md files
Fixed cases where there was a bad trailing backslash. Improved a few cases where a code block was needed to highlight some text. Changed a few cases where a code block needed to declared as, say, a sh code block. Fixed a few cases where the winner information was not properly formatted. Plus a few nits and clarifying text was added.
This commit is contained in:
1 parent
394f710bc3
commit
360708f858
120 files changed
+1198
-1024
No files matched your search
@@ -1,7 +1,7 @@
|
||||
# Most functional
|
||||
|
||||
Freek Wiedijk\
|
||||
<freek@cs.ru.nl>
|
||||
Freek Wiedijk\
|
||||
<freek@cs.ru.nl>
|
||||
|
||||
|
||||
## To build:
|
||||
@@ -51,8 +51,10 @@ If you win a bet by demonstrating this entry, please let us know.
|
||||
- recursion implemented through Curry's paradoxical combinator `Y`
|
||||
- the readable implementation of `Y` is on lines 29-30:
|
||||
|
||||
W_f = \x.f(xx)
|
||||
Y = \f.W_f W_f
|
||||
```
|
||||
W_f = \x.f(xx)
|
||||
Y = \f.W_f W_f
|
||||
```
|
||||
|
||||
- a mixture of strict and lazy evaluation, with a `_` force function
|
||||
(John Tromp notes that if Turing's fixed-point combinator
|
||||
|
||||
Reference in new issue
Block a user