Added sample page to website

author: Marvin Borner 2024-03-10 16:27:07 +0100
committer: Marvin Borner 2024-03-10 16:27:07 +0100
commit: 6ff75104e28d00535392ebeaf66e2e50c57d0d64 (patch)
tree: 30696fda1f531640be10a7cf2bc9c5b4fb4fb40c
parent: 1f2c16ede8cae96b94d5b27785a473d872d60cb5 (diff)
12 files changed, 515 insertions, 47 deletions
diff --git a/docs/.gitignore b/docs/.gitignore
index 7595ce4..3f8d565 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1,2 +1,3 @@
 std/
 wiki/
+samples/
diff --git a/docs/code.js b/docs/code.js
index 3364f6c..bfeaeb1 100644
--- a/docs/code.js
+++ b/docs/code.js
@@ -1,16 +1,19 @@
 // high-quality syntax highlighter
-// TODO: Implement actual highlighter (or fix many regex bugs)
+// TODO: Implement actual parser (or fix MANY regex bugs)
 
 const term = (t) =>
   t
+    .replaceAll(
+      /(?<!\([+-]\d*)(?<![a-z][^&; ]*)([0-9])/g,
+      "<span class='index'>$1</span>",
+    )
     .replaceAll(/'(.)'/g, "<span class='string'>'$1'</span>")
     .replaceAll(/"([^\"]*)"/g, "<span class='string'>\"$1\"</span>")
-    .replaceAll(/(\([+-][0-9]+[ubt]?\))/g, "<span class='number'>$1</span>")
+    .replaceAll(/(\([+-][0-9]+[ubtd]?\))/g, "<span class='number'>$1</span>")
     .replaceAll(/(?<!\>)(\()/g, "<span class='left-app'>(</span>")
     .replaceAll(/(\))(?!\<)/g, "<span class='right-app'>)</span>")
     .replaceAll("[", "<span class='left-abs'>[</span>")
-    .replaceAll("]", "<span class='right-abs'>]</span>")
-    .replaceAll(/(?<!\([+-]\d*)([0-9])/g, "<span class='index'>$1</span>");
+    .replaceAll("]", "<span class='right-abs'>]</span>");
 
 const highlightTerm = (elem) => {
   elem.innerHTML = term(elem.innerHTML);
@@ -35,6 +38,10 @@ const highlight = (elem) => {
         )}.bruijn.html'>std/${p}</a>`,
     )
     .replaceAll(
+      /^:import (.*) (.*)$/gm,
+      (_, p, s) => `<span class="com">:import</span> ${p} ${s}`,
+    )
+    .replaceAll(
       /^:test (\(.*\)) (\(.*\))$/gm,
       (_, t1, t2) => `<span class='com'>:test</span> ${term(t1)} ${term(t2)}`,
     )
diff --git a/docs/gen.sh b/docs/gen.sh
index 7b5eb72..eebfb20 100755
--- a/docs/gen.sh
+++ b/docs/gen.sh
@@ -1,25 +1,10 @@
 #!/bin/env bash
 
-set -e
-
-rm -rf std/ && mkdir -p std/
-
-files=$(find ../std/ -type f -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
-links=""
-
-for file in $files; do
-	name=$(echo $file | cut -c8-)
-	filename=$(sed s@/@_@g <<<"$name")
-	links="$links\n<li><span class='com'>:import</span> <a href="$filename.html">$name</a></li>"
-	awk 'NR==FNR { gsub("<", "\\&lt;", $0); gsub(">", "\\&gt;", $0); a[n++]=$0; next } /CONTENT/ { for (i=0;i<n;++i) print a[i]; next } 1' "$file" content.template >std/$filename.html
-	sed -i -e "s@NAME@$name@g" std/$filename.html
-done
-
-sed -e "s@LINKS@$links@g" index.template >std/index.html
-
-cp res/* code.js content.css index.css code.css std/
-
+./genstd.sh
 echo "std done"
 
+./gensamples.sh
+echo "samples done"
+
 mkdocs build
 echo "wiki done"
diff --git a/docs/gensamples.sh b/docs/gensamples.sh
new file mode 100755
index 0000000..704aea5
--- /dev/null
+++ b/docs/gensamples.sh
@@ -0,0 +1,26 @@
+#!/bin/env bash
+
+set -e
+
+rm -rf samples/ && mkdir -p samples/
+
+files=$(find ../samples/ -type f -name "*.bruijn" -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
+links=""
+
+prefix=""
+for file in $files; do
+	name=$(echo "$file" | cut -c12-)
+	_prefix=$(cut -d/ -f1 <<<"$name")
+	if ! [ "$prefix" = "$_prefix" ]; then
+		prefix=$_prefix
+		links="$links\n</ul><h2>$prefix</h2><ul>"
+	fi
+	filename=$(sed s@/@_@g <<<"$name")
+	links="$links\n<li><a href="$filename.html">$name</a></li>"
+	awk 'NR==FNR { gsub("<", "\\&lt;", $0); gsub(">", "\\&gt;", $0); a[n++]=$0; next } /CONTENT/ { for (i=0;i<n;++i) print a[i]; next } 1' "$file" content.template >"samples/$filename.html"
+	sed -i -e "s@NAME@$name@g" "samples/$filename.html"
+done
+
+sed -e "s@LINKS@$links@g" samples.template >samples/index.html
+
+cp res/* code.js content.css index.css code.css samples/
diff --git a/docs/genstd.sh b/docs/genstd.sh
new file mode 100755
index 0000000..e028da8
--- /dev/null
+++ b/docs/genstd.sh
@@ -0,0 +1,20 @@
+#!/bin/env bash
+
+set -e
+
+rm -rf std/ && mkdir -p std/
+
+files=$(find ../std/ -type f -printf '%h\0%d\0%p\n' | sort -t '\0' -n | awk -F '\0' '{print $3}')
+links=""
+
+for file in $files; do
+	name=$(echo "$file" | cut -c8-)
+	filename=$(sed s@/@_@g <<<"$name")
+	links="$links\n<li><span class='com'>:import</span> <a href="$filename.html">$name</a></li>"
+	awk 'NR==FNR { gsub("<", "\\&lt;", $0); gsub(">", "\\&gt;", $0); a[n++]=$0; next } /CONTENT/ { for (i=0;i<n;++i) print a[i]; next } 1' "$file" content.template >"std/$filename.html"
+	sed -i -e "s@NAME@$name@g" "std/$filename.html"
+done
+
+sed -e "s@LINKS@$links@g" std.template >std/index.html
+
+cp res/* code.js content.css index.css code.css std/
diff --git a/docs/index.html b/docs/index.html
index e8f807f..d5edad4 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -109,13 +109,14 @@ hello world!</pre
         <pre class="code">
 <span class="repl">></span> <span class="symbol">length</span> <span class="meta">`</span><span class="symbol">factorial</span>
 <span class="repl">></span> <span class="prefix">!</span><span class="left-app">(</span><span class="symbol">swap</span> <span class="meta">`</span><span class="left-app">(</span><span class="unary">(+2u)</span> <span class="unary">(+3u)</span><span class="right-app">))</span>
-<span class="repl">></span> <span class="symbol">lhs</span> <span class="left-app">(</span><span class="symbol">blc→meta</span> <span class="string">"010000100000110"</span><span class="right-app">)</span></span>
+<span class="repl">></span> <span class="symbol">lhs</span> <span class="left-app">(</span><span class="symbol">blc→meta</span> <span class="string">"010000100000110"</span><span class="right-app">)</span>
 </pre>
       </div>
     </div>
 
     <div class="bar big">
-      Learn more: <a href="wiki/">Wiki</a>, <a href="std/">Std</a>
+      Learn more: <a href="wiki/">Wiki</a>, <a href="std/">Std</a>,
+      <a href="samples/">Samples</a>
     </div>
 
     <div class="instructions">
@@ -142,6 +143,14 @@ in std/Number/Unary.bruijn:35
       <h1>Why?</h1>
       <ul>
         <li>
+          By having a very small core (the reducer), bruijn is safe, consistent,
+          and (potentially) proven to be correct!
+        </li>
+        <li>
+          Since it doesn't have builtin functions, bruijn is independent of
+          hardware internals and could easily be run on almost any architecture.
+        </li>
+        <li>
           Compiled binary lambda calculus is incredibly expressive and tiny.
           Read the articles by
           <a href="https://justine.lol/lambda/#why">Justine</a> and
@@ -149,20 +158,12 @@ in std/Number/Unary.bruijn:35
         </li>
         <li>
           Exploring different encodings of data as function abstractions is
-          fascinating.
-        </li>
-        <li>
-          Pure lambda calculus can be very beautiful. You will understand if you
-          try to have some fun with it.
-        </li>
-        <li>
-          The use of De Bruijn indices creates a clear distinction between
-          references to arguments and references to identifiers/functions.
+          really fascinating.
         </li>
         <li>
-          I don't like naming parameters of functions. De Bruijn indices are a
+          Naming parameters of functions is annoying. De Bruijn indices are a
           universal reference independent of the function and can actually help
-          readability if you're familiar enough.
+          readability!
         </li>
         <li>
           Really, <a href="https://justforfunnoreally.dev/">just for fun</a>.
diff --git a/docs/samples.template b/docs/samples.template
new file mode 100644
index 0000000..80e92b1
--- /dev/null
+++ b/docs/samples.template
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+	<head>
+		<meta charset="UTF-8" />
+		<meta name="viewport" content="width=device-width" />
+		<link rel="stylesheet" href="index.css" type="text/css" media="all">
+		<title>bruijn samples</title>
+	</head>
+	<body>
+		<h1>bruijn samples</h1>
+These are some code samples written in the bruijn programming language. Most of the examples are copies of our solutions on <a href="https://rosettacode.org/wiki/Category:Bruijn">Rosetta Code</a>. All examples are written by bruijn's contributors and may be used according to the <a href="https://en.wikipedia.org/wiki/GNU_Free_Documentation_License">GNU FDL license</a>.
+		<ul>
+			LINKS
+		</ul>
+	</body>
+</html>
diff --git a/docs/index.template b/docs/std.template
index c33f5db..c33f5db 100644
--- a/docs/index.template
+++ b/docs/std.template
diff --git a/docs/wiki_src/coding/examples.md b/docs/wiki_src/coding/examples.md
index 7303fef..bc7c181 100644
--- a/docs/wiki_src/coding/examples.md
+++ b/docs/wiki_src/coding/examples.md
@@ -1,7 +1,8 @@
 # Examples
 
 You can find a lot more examples on [Rosetta
-code](https://rosettacode.org/wiki/Category:Bruijn).
+code](https://rosettacode.org/wiki/Category:Bruijn) or on the dedicated
+interactive [samples](/samples/) page.
 
 ## Hello world!
 
diff --git a/docs/wiki_src/introduction/philosophy.md b/docs/wiki_src/introduction/philosophy.md
index 4c70a94..31c81c9 100644
--- a/docs/wiki_src/introduction/philosophy.md
+++ b/docs/wiki_src/introduction/philosophy.md
@@ -1,8 +1,11 @@
 # Philosophy
 
 -   minimal, proven core
+-   abstraction from hardware architecture
+    -   permaculture
 -   small, expressive functions
 -   style consistency
+-   thoroughly tested library (700+ tests!)
 -   API consistency
 -   implicit parallelisation
 -   shared evaluation
diff --git a/samples/license.md b/samples/license.md
new file mode 100644
index 0000000..4ba03f1
--- /dev/null
+++ b/samples/license.md
@@ -0,0 +1,414 @@
+Copyright (c) 2024 Marvin Borner
+
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.3 or
+any later version published by the Free Software Foundation; with no
+Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
+copy of the license is included in the section entitled "GNU Free
+Documentation License".
+
+# GNU Free Documentation License
+
+Version 1.3, 3 November 2008
+
+Copyright (C) 2000, 2001, 2002, 2007, 2008 Free Software Foundation,
+Inc. <https://fsf.org/>
+
+Everyone is permitted to copy and distribute verbatim copies of this
+license document, but changing it is not allowed.
+
+## 0. PREAMBLE
+
+The purpose of this License is to make a manual, textbook, or other
+functional and useful document "free" in the sense of freedom: to assure
+everyone the effective freedom to copy and redistribute it, with or
+without modifying it, either commercially or noncommercially.
+Secondarily, this License preserves for the author and publisher a way
+to get credit for their work, while not being considered responsible for
+modifications made by others.
+
+This License is a kind of "copyleft", which means that derivative works
+of the document must themselves be free in the same sense. It
+complements the GNU General Public License, which is a copyleft license
+designed for free software.
+
+We have designed this License in order to use it for manuals for free
+software, because free software needs free documentation: a free program
+should come with manuals providing the same freedoms that the software
+does. But this License is not limited to software manuals; it can be
+used for any textual work, regardless of subject matter or whether it is
+published as a printed book. We recommend this License principally for
+works whose purpose is instruction or reference.
+
+## 1. APPLICABILITY AND DEFINITIONS
+
+This License applies to any manual or other work, in any medium, that
+contains a notice placed by the copyright holder saying it can be
+distributed under the terms of this License. Such a notice grants a
+world-wide, royalty-free license, unlimited in duration, to use that
+work under the conditions stated herein. The "Document", below, refers
+to any such manual or work. Any member of the public is a licensee, and
+is addressed as "you". You accept the license if you copy, modify or
+distribute the work in a way requiring permission under copyright law.
+
+A "Modified Version" of the Document means any work containing the
+Document or a portion of it, either copied verbatim, or with
+modifications and/or translated into another language.
+
+A "Secondary Section" is a named appendix or a front-matter section of
+the Document that deals exclusively with the relationship of the
+publishers or authors of the Document to the Document's overall subject
+(or to related matters) and contains nothing that could fall directly
+within that overall subject. (Thus, if the Document is in part a
+textbook of mathematics, a Secondary Section may not explain any
+mathematics.) The relationship could be a matter of historical
+connection with the subject or with related matters, or of legal,
+commercial, philosophical, ethical or political position regarding them.
+
+The "Invariant Sections" are certain Secondary Sections whose titles are
+designated, as being those of Invariant Sections, in the notice that
+says that the Document is released under this License. If a section does
+not fit the above definition of Secondary then it is not allowed to be
+designated as Invariant. The Document may contain zero Invariant
+Sections. If the Document does not identify any Invariant Sections then
+there are none.
+
+The "Cover Texts" are certain short passages of text that are listed, as
+Front-Cover Texts or Back-Cover Texts, in the notice that says that the
+Document is released under this License. A Front-Cover Text may be at
+most 5 words, and a Back-Cover Text may be at most 25 words.
+
+A "Transparent" copy of the Document means a machine-readable copy,
+represented in a format whose specification is available to the general
+public, that is suitable for revising the document straightforwardly
+with generic text editors or (for images composed of pixels) generic
+paint programs or (for drawings) some widely available drawing editor,
+and that is suitable for input to text formatters or for automatic
+translation to a variety of formats suitable for input to text
+formatters. A copy made in an otherwise Transparent file format whose
+markup, or absence of markup, has been arranged to thwart or discourage
+subsequent modification by readers is not Transparent. An image format
+is not Transparent if used for any substantial amount of text. A copy
+that is not "Transparent" is called "Opaque".
+
+Examples of suitable formats for Transparent copies include plain ASCII
+without markup, Texinfo input format, LaTeX input format, SGML or XML
+using a publicly available DTD, and standard-conforming simple HTML,
+PostScript or PDF designed for human modification. Examples of
+transparent image formats include PNG, XCF and JPG. Opaque formats
+include proprietary formats that can be read and edited only by
+proprietary word processors, SGML or XML for which the DTD and/or
+processing tools are not generally available, and the machine-generated
+HTML, PostScript or PDF produced by some word processors for output
+purposes only.
+
+The "Title Page" means, for a printed book, the title page itself, plus
+such following pages as are needed to hold, legibly, the material this
+License requires to appear in the title page. For works in formats which
+do not have any title page as such, "Title Page" means the text near the
+most prominent appearance of the work's title, preceding the beginning
+of the body of the text.
+
+The "publisher" means any person or entity that distributes copies of
+the Document to the public.
+
+A section "Entitled XYZ" means a named subunit of the Document whose
+title either is precisely XYZ or contains XYZ in parentheses following
+text that translates XYZ in another language. (Here XYZ stands for a
+specific section name mentioned below, such as "Acknowledgements",
+"Dedications", "Endorsements", or "History".) To "Preserve the Title" of
+such a section when you modify the Document means that it remains a
+section "Entitled XYZ" according to this definition.
+
+The Document may include Warranty Disclaimers next to the notice which
+states that this License applies to the Document. These Warranty
+Disclaimers are considered to be included by reference in this License,
+but only as regards disclaiming warranties: any other implication that
+these Warranty Disclaimers may have is void and has no effect on the
+meaning of this License.
+
+## 2. VERBATIM COPYING
+
+You may copy and distribute the Document in any medium, either
+commercially or noncommercially, provided that this License, the
+copyright notices, and the license notice saying this License applies to
+the Document are reproduced in all copies, and that you add no other
+conditions whatsoever to those of this License. You may not use
+technical measures to obstruct or control the reading or further copying
+of the copies you make or distribute. However, you may accept
+compensation in exchange for copies. If you distribute a large enough
+number of copies you must also follow the conditions in section 3.
+
+You may also lend copies, under the same conditions stated above, and
+you may publicly display copies.
+
+## 3. COPYING IN QUANTITY
+
+If you publish printed copies (or copies in media that commonly have
+printed covers) of the Document, numbering more than 100, and the
+Document's license notice requires Cover Texts, you must enclose the
+copies in covers that carry, clearly and legibly, all these Cover Texts:
+Front-Cover Texts on the front cover, and Back-Cover Texts on the back
+cover. Both covers must also clearly and legibly identify you as the
+publisher of these copies. The front cover must present the full title
+with all words of the title equally prominent and visible. You may add
+other material on the covers in addition. Copying with changes limited
+to the covers, as long as they preserve the title of the Document and
+satisfy these conditions, can be treated as verbatim copying in other
+respects.
+
+If the required texts for either cover are too voluminous to fit
+legibly, you should put the first ones listed (as many as fit
+reasonably) on the actual cover, and continue the rest onto adjacent
+pages.
+
+If you publish or distribute Opaque copies of the Document numbering
+more than 100, you must either include a machine-readable Transparent
+copy along with each Opaque copy, or state in or with each Opaque copy a
+computer-network location from which the general network-using public
+has access to download using public-standard network protocols a
+complete Transparent copy of the Document, free of added material. If
+you use the latter option, you must take reasonably prudent steps, when
+you begin distribution of Opaque copies in quantity, to ensure that this
+Transparent copy will remain thus accessible at the stated location
+until at least one year after the last time you distribute an Opaque
+copy (directly or through your agents or retailers) of that edition to
+the public.
+
+It is requested, but not required, that you contact the authors of the
+Document well before redistributing any large number of copies, to give
+them a chance to provide you with an updated version of the Document.
+
+## 4. MODIFICATIONS
+
+You may copy and distribute a Modified Version of the Document under the
+conditions of sections 2 and 3 above, provided that you release the
+Modified Version under precisely this License, with the Modified Version
+filling the role of the Document, thus licensing distribution and
+modification of the Modified Version to whoever possesses a copy of it.
+In addition, you must do these things in the Modified Version:
+
+-   A. Use in the Title Page (and on the covers, if any) a title
+    distinct from that of the Document, and from those of previous
+    versions (which should, if there were any, be listed in the History
+    section of the Document). You may use the same title as a previous
+    version if the original publisher of that version gives permission.
+-   B. List on the Title Page, as authors, one or more persons or
+    entities responsible for authorship of the modifications in the
+    Modified Version, together with at least five of the principal
+    authors of the Document (all of its principal authors, if it has
+    fewer than five), unless they release you from this requirement.
+-   C. State on the Title page the name of the publisher of the Modified
+    Version, as the publisher.
+-   D. Preserve all the copyright notices of the Document.
+-   E. Add an appropriate copyright notice for your modifications
+    adjacent to the other copyright notices.
+-   F. Include, immediately after the copyright notices, a license
+    notice giving the public permission to use the Modified Version
+    under the terms of this License, in the form shown in the Addendum
+    below.
+-   G. Preserve in that license notice the full lists of Invariant
+    Sections and required Cover Texts given in the Document's license
+    notice.
+-   H. Include an unaltered copy of this License.
+-   I. Preserve the section Entitled "History", Preserve its Title, and
+    add to it an item stating at least the title, year, new authors, and
+    publisher of the Modified Version as given on the Title Page. If
+    there is no section Entitled "History" in the Document, create one
+    stating the title, year, authors, and publisher of the Document as
+    given on its Title Page, then add an item describing the Modified
+    Version as stated in the previous sentence.
+-   J. Preserve the network location, if any, given in the Document for
+    public access to a Transparent copy of the Document, and likewise
+    the network locations given in the Document for previous versions it
+    was based on. These may be placed in the "History" section. You may
+    omit a network location for a work that was published at least four
+    years before the Document itself, or if the original publisher of
+    the version it refers to gives permission.
+-   K. For any section Entitled "Acknowledgements" or "Dedications",
+    Preserve the Title of the section, and preserve in the section all
+    the substance and tone of each of the contributor acknowledgements
+    and/or dedications given therein.
+-   L. Preserve all the Invariant Sections of the Document, unaltered in
+    their text and in their titles. Section numbers or the equivalent
+    are not considered part of the section titles.
+-   M. Delete any section Entitled "Endorsements". Such a section may
+    not be included in the Modified Version.
+-   N. Do not retitle any existing section to be Entitled "Endorsements"
+    or to conflict in title with any Invariant Section.
+-   O. Preserve any Warranty Disclaimers.
+
+If the Modified Version includes new front-matter sections or appendices
+that qualify as Secondary Sections and contain no material copied from
+the Document, you may at your option designate some or all of these
+sections as invariant. To do this, add their titles to the list of
+Invariant Sections in the Modified Version's license notice. These
+titles must be distinct from any other section titles.
+
+You may add a section Entitled "Endorsements", provided it contains
+nothing but endorsements of your Modified Version by various
+parties---for example, statements of peer review or that the text has
+been approved by an organization as the authoritative definition of a
+standard.
+
+You may add a passage of up to five words as a Front-Cover Text, and a
+passage of up to 25 words as a Back-Cover Text, to the end of the list
+of Cover Texts in the Modified Version. Only one passage of Front-Cover
+Text and one of Back-Cover Text may be added by (or through arrangements
+made by) any one entity. If the Document already includes a cover text
+for the same cover, previously added by you or by arrangement made by
+the same entity you are acting on behalf of, you may not add another;
+but you may replace the old one, on explicit permission from the
+previous publisher that added the old one.
+
+The author(s) and publisher(s) of the Document do not by this License
+give permission to use their names for publicity for or to assert or
+imply endorsement of any Modified Version.
+
+## 5. COMBINING DOCUMENTS
+
+You may combine the Document with other documents released under this
+License, under the terms defined in section 4 above for modified
+versions, provided that you include in the combination all of the
+Invariant Sections of all of the original documents, unmodified, and
+list them all as Invariant Sections of your combined work in its license
+notice, and that you preserve all their Warranty Disclaimers.
+
+The combined work need only contain one copy of this License, and
+multiple identical Invariant Sections may be replaced with a single
+copy. If there are multiple Invariant Sections with the same name but
+different contents, make the title of each such section unique by adding
+at the end of it, in parentheses, the name of the original author or
+publisher of that section if known, or else a unique number. Make the
+same adjustment to the section titles in the list of Invariant Sections
+in the license notice of the combined work.
+
+In the combination, you must combine any sections Entitled "History" in
+the various original documents, forming one section Entitled "History";
+likewise combine any sections Entitled "Acknowledgements", and any
+sections Entitled "Dedications". You must delete all sections Entitled
+"Endorsements".
+
+## 6. COLLECTIONS OF DOCUMENTS
+
+You may make a collection consisting of the Document and other documents
+released under this License, and replace the individual copies of this
+License in the various documents with a single copy that is included in
+the collection, provided that you follow the rules of this License for
+verbatim copying of each of the documents in all other respects.
+
+You may extract a single document from such a collection, and distribute
+it individually under this License, provided you insert a copy of this
+License into the extracted document, and follow this License in all
+other respects regarding verbatim copying of that document.
+
+## 7. AGGREGATION WITH INDEPENDENT WORKS
+
+A compilation of the Document or its derivatives with other separate and
+independent documents or works, in or on a volume of a storage or
+distribution medium, is called an "aggregate" if the copyright resulting
+from the compilation is not used to limit the legal rights of the
+compilation's users beyond what the individual works permit. When the
+Document is included in an aggregate, this License does not apply to the
+other works in the aggregate which are not themselves derivative works
+of the Document.
+
+If the Cover Text requirement of section 3 is applicable to these copies
+of the Document, then if the Document is less than one half of the
+entire aggregate, the Document's Cover Texts may be placed on covers
+that bracket the Document within the aggregate, or the electronic
+equivalent of covers if the Document is in electronic form. Otherwise
+they must appear on printed covers that bracket the whole aggregate.
+
+## 8. TRANSLATION
+
+Translation is considered a kind of modification, so you may distribute
+translations of the Document under the terms of section 4. Replacing
+Invariant Sections with translations requires special permission from
+their copyright holders, but you may include translations of some or all
+Invariant Sections in addition to the original versions of these
+Invariant Sections. You may include a translation of this License, and
+all the license notices in the Document, and any Warranty Disclaimers,
+provided that you also include the original English version of this
+License and the original versions of those notices and disclaimers. In
+case of a disagreement between the translation and the original version
+of this License or a notice or disclaimer, the original version will
+prevail.
+
+If a section in the Document is Entitled "Acknowledgements",
+"Dedications", or "History", the requirement (section 4) to Preserve its
+Title (section 1) will typically require changing the actual title.
+
+## 9. TERMINATION
+
+You may not copy, modify, sublicense, or distribute the Document except
+as expressly provided under this License. Any attempt otherwise to copy,
+modify, sublicense, or distribute it is void, and will automatically
+terminate your rights under this License.
+
+However, if you cease all violation of this License, then your license
+from a particular copyright holder is reinstated (a) provisionally,
+unless and until the copyright holder explicitly and finally terminates
+your license, and (b) permanently, if the copyright holder fails to
+notify you of the violation by some reasonable means prior to 60 days
+after the cessation.
+
+Moreover, your license from a particular copyright holder is reinstated
+permanently if the copyright holder notifies you of the violation by
+some reasonable means, this is the first time you have received notice
+of violation of this License (for any work) from that copyright holder,
+and you cure the violation prior to 30 days after your receipt of the
+notice.
+
+Termination of your rights under this section does not terminate the
+licenses of parties who have received copies or rights from you under
+this License. If your rights have been terminated and not permanently
+reinstated, receipt of a copy of some or all of the same material does
+not give you any rights to use it.
+
+## 10. FUTURE REVISIONS OF THIS LICENSE
+
+The Free Software Foundation may publish new, revised versions of the
+GNU Free Documentation License from time to time. Such new versions will
+be similar in spirit to the present version, but may differ in detail to
+address new problems or concerns. See <https://www.gnu.org/licenses/>.
+
+Each version of the License is given a distinguishing version number. If
+the Document specifies that a particular numbered version of this
+License "or any later version" applies to it, you have the option of
+following the terms and conditions either of that specified version or
+of any later version that has been published (not as a draft) by the
+Free Software Foundation. If the Document does not specify a version
+number of this License, you may choose any version ever published (not
+as a draft) by the Free Software Foundation. If the Document specifies
+that a proxy can decide which future versions of this License can be
+used, that proxy's public statement of acceptance of a version
+permanently authorizes you to choose that version for the Document.
+
+## 11. RELICENSING
+
+"Massive Multiauthor Collaboration Site" (or "MMC Site") means any World
+Wide Web server that publishes copyrightable works and also provides
+prominent facilities for anybody to edit those works. A public wiki that
+anybody can edit is an example of such a server. A "Massive Multiauthor
+Collaboration" (or "MMC") contained in the site means any set of
+copyrightable works thus published on the MMC site.
+
+"CC-BY-SA" means the Creative Commons Attribution-Share Alike 3.0
+license published by Creative Commons Corporation, a not-for-profit
+corporation with a principal place of business in San Francisco,
+California, as well as future copyleft versions of that license
+published by that same organization.
+
+"Incorporate" means to publish or republish a Document, in whole or in
+part, as part of another Document.
+
+An MMC is "eligible for relicensing" if it is licensed under this
+License, and if all works that were first published under this License
+somewhere other than this MMC, and subsequently incorporated in whole or
+in part into the MMC, (1) had no cover texts or invariant sections, and
+(2) were thus incorporated prior to November 1, 2008.
+
+The operator of an MMC Site may republish an MMC contained in the site
+under CC-BY-SA on the same site at any time before August 1, 2009,
+provided the MMC is eligible for relicensing.
diff --git a/samples/readme.md b/samples/readme.md
index 68b31c1..57332c1 100644
--- a/samples/readme.md
+++ b/samples/readme.md
@@ -1,12 +1,6 @@
 # Samples
 
-## AOC
-
-These samples solve some of the [Advent of
-Code](https://adventofcode.com) problems.
-
-    cat input | bruijn solve.bruijn
-
-**Be aware** that lambda calculus is generally incredibly inefficient.
-For example, the obvious solution for the very simple problem 2022/01
-takes around 30s and 3GB of memory using the full input.
+Most of the examples are copies of our solutions on [Rosetta
+Code](https://rosettacode.org/wiki/Category:Bruijn). All examples are
+written by bruijn's contributors and may be used according to the GNU
+FDL license (see `license.md`).
author	Marvin Borner	2024-03-10 16:27:07 +0100
committer	Marvin Borner	2024-03-10 16:27:07 +0100
commit	6ff75104e28d00535392ebeaf66e2e50c57d0d64 (patch)
tree	30696fda1f531640be10a7cf2bc9c5b4fb4fb40c
parent	1f2c16ede8cae96b94d5b27785a473d872d60cb5 (diff)