Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

An implementation of lazy-k on top of Parrot

branch: master

Fetching latest commit…


Cannot retrieve the latest commit at this time

Octocat-spinner-32 examples
Octocat-spinner-32 t
Octocat-spinner-32 .gitignore
Octocat-spinner-32 MAINTAINER
Octocat-spinner-32 README
Octocat-spinner-32 lazy.pir
Octocat-spinner-32 setup.pir
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.


There used to be an entry about Lazy K on Wikipedia:

The 2 example files are copyrighted GPL by Ben Rudiak-Gould, the author of Lazy K.
Something went wrong with that request. Please try again.