Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Tiny Pure Functional Programming Language in C. Based on [Untype Lambda Calculus

```console
$ cc -o lamb lamb.c
$ ./lamb ./std.lamb
$ ./lamb std.lamb
...
,---@>
W-W'
Expand All @@ -27,7 +27,7 @@ RESULT: 420
It's recommended to use Lamb with [rlwrap](https://github.com/hanslub42/rlwrap). Just do

```console
$ rlwrap ./lamb
$ rlwrap lamb
```

and you get Bash-style history and command line navigation.
Expand Down Expand Up @@ -163,7 +163,7 @@ RESULT: ((f a) b) c
`#void` - when applied to a lambda expression it becomes a potential redex. When reduced it forces the reduction of its argument and returns itself. Useful when you only care about the side effects of the evaluation but not the result which might be long and useless anyway:

```console
$ ./lamb ./std.lamb
$ ./lamb std.lamb
@> xs = cons 69 (cons 420 (cons 1337 (cons foo (cons bar (cons bar nil)))))
Created binding xs
@> #void (trace_list xs)
Expand Down Expand Up @@ -307,7 +307,7 @@ We provided a bunch of useful bindings in [std.lamb][./std.lamb].
Passing a file as a command line argument to the interpreter acts as if you instantly `:load`-ed it.

```console
$ ./lamb ./main.lamb
$ ./lamb main.lamb
Created binding id
Created binding const
Created binding true
Expand Down