-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathREADME
33 lines (23 loc) · 1017 Bytes
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
This is an incomplete implementation of Lazy K - only 'ski parsing is
done currently.
Build and test:
$ parrot setup.pir clean
$ parrot setup.pir
$ parrot setup.pir test
Show help:
$ parrot setup.pir help
Generate a file for Plumage:
$ mkdir plumage
$ parrot setup.pir plumage > plumage/lazy_k.json
Lazy K programs live in the same timeless Platonic realm as mathematical
functions, what the Unlambda page calls "the blessed realm of the pure untyped
lambda calculus."
There is no special syntax for IO, Lazy K programs get their input (from stdin)
as a list of church numerals and create a list of these, which is converted to
8-bit characters as output of the computation, 256 is serving as EOF.
References:
http://esolangs.org/wiki/Lazy_K
http://homepages.cwi.nl/~tromp/cl/lazy-k.html
There used to be an entry about Lazy K on Wikipedia:
http://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Lazy_K
The 2 example files are copyrighted GPL by Ben Rudiak-Gould, the author of Lazy K.