diff options
Diffstat (limited to 'languages/b/bruijn/README.md')
| -rw-r--r-- | languages/b/bruijn/README.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/languages/b/bruijn/README.md b/languages/b/bruijn/README.md new file mode 100644 index 0000000..7b781a8 --- /dev/null +++ b/languages/b/bruijn/README.md @@ -0,0 +1,14 @@ +# bruijn + +To run, follow the installation instructions on [bruijn's +wiki](https://bruijn.marvinborner.de/wiki/introduction/installation/) +and run + +``` bash +# to run main and check the tests! +bruijn -v lambda-core.bruijn +``` + +Further examples can be found in +[examples](https://bruijn.marvinborner.de/samples/) or in the [standard +library](https://bruijn.marvinborner.de/std/). |