diff options
Diffstat (limited to 'docs/wiki_src/coding')
| -rw-r--r-- | docs/wiki_src/coding/data-structures.md | 4 | ||||
| -rw-r--r-- | docs/wiki_src/coding/mixfix.md | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/docs/wiki_src/coding/data-structures.md b/docs/wiki_src/coding/data-structures.md index 3d2a387..e59fa99 100644 --- a/docs/wiki_src/coding/data-structures.md +++ b/docs/wiki_src/coding/data-structures.md @@ -60,6 +60,10 @@ a-box <>'a' :test (store! a-box 'b') (<>'b') ``` +Options ([`std/Option`](/std/Option.bruijn.html)) use the same data +structure and have additional definitions to resemble Haskell's +`Maybe`{.haskell}. + ## Pairs [`std/Pair`](/std/Pair.bruijn.html) Pairs (tuples) can store any two terms. Pairs can be constructed using diff --git a/docs/wiki_src/coding/mixfix.md b/docs/wiki_src/coding/mixfix.md index d0838cf..43e2100 100644 --- a/docs/wiki_src/coding/mixfix.md +++ b/docs/wiki_src/coding/mixfix.md @@ -41,8 +41,7 @@ chain is not actually overwritten by *another* mixfix chain. ``` bruijn :test ((+8) + (-4) ⋅ (-2)) ((-8)) -# (don't do this) -…+…⋅… [[[(+16)]]] +…+…⋅… [[[2 + (1 ⋅ 0)]]] :test ((+8) + (-4) ⋅ (-2)) ((+16)) ``` |