diff options
| author | Marvin Borner | 2025-02-02 19:16:07 +0100 |
|---|---|---|
| committer | Marvin Borner | 2025-02-02 19:16:07 +0100 |
| commit | 56b207e50c8fd316a391cc7136676e2c682c06c0 (patch) | |
| tree | cff0d93d4ab3492bff19e644e6b9fc0cf3cc44cf /languages/b/bruijn/README.md | |
| parent | 0dc8d37aa15f69440ce392af76435ef9fecd68cd (diff) | |
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/). |