diff options
Diffstat (limited to 'std/Option.bruijn')
| -rw-r--r-- | std/Option.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Option.bruijn b/std/Option.bruijn index c0d57b4..fafe173 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -7,7 +7,7 @@ none true ⧗ (Option a) # encapsulates value in option -some [[[0 2]]] ⧗ (Option a) +some [[[0 2]]] ⧗ a → (Option a) # checks whether option is none none? [0 true [false]] ⧗ (Option a) → Boolean |