Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP

Examples

lfairy edited this page · 7 revisions

Here's a page full of things Sylvia can render (and a few it cannot).

To try them, type in your command line:

sylvia 'whatever'

replacing whatever with one of the things below. For example, the Mockingbird can be rendered like so:

sylvia '\ 0 0'

See Syntax for a more detailed tutorial.

Feel free to add your own. There is an Edit button – click it!

One layer

Identity \ 0
Mockingbird \ 0 0
Omega (\ 0 0) (\ 0 0)

Two layers

Kestrel \\ 1
Kite \\ 0
Apply \\ 1 0

Three layers

Bluebird \\\ 2 (1 0)
Cardinal \\\ 2 0 1
Starling \\\ 2 0 (1 0)

Not-very-nice ones

These combinators aren't rendered correctly by Sylvia. Like the Ugly Duckling, we hope see their true beauty soon.

Y \ (\ 1 (0 0)) (\ 1 (0 0))
test 1 \ (\ 1 (0 0)) ((\\\1) (\ 1 (0 0)))
test 2 \ (\ 1 (0 0)) (\\\1) (\ 1 (0 0))
test 3 \ (\ 1) (0 (\ 0))
test 4 \ (\ 0) ((\ 0) 0)
Something went wrong with that request. Please try again.