From 56b207e50c8fd316a391cc7136676e2c682c06c0 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 2 Feb 2025 19:16:07 +0100 Subject: Add bruijn --- languages/b/bruijn/README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 languages/b/bruijn/README.md (limited to 'languages/b/bruijn/README.md') 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/). -- cgit v1.2.3