diff options
| author | Marvin Borner | 2024-10-26 21:40:49 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-10-26 21:40:49 +0200 |
| commit | 10e46668751765c2981a07da3bc9411093db2bee (patch) | |
| tree | 370b6ef698ebf0cd119b523a8bef382552c351dd /std/Option.bruijn | |
| parent | 20e3e03914b128a77595e39ee909a42d425a5d4b (diff) | |
Minor fixes
Diffstat (limited to 'std/Option.bruijn')
| -rw-r--r-- | std/Option.bruijn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/std/Option.bruijn b/std/Option.bruijn index 257b5f8..3b1c0a1 100644 --- a/std/Option.bruijn +++ b/std/Option.bruijn @@ -1,4 +1,5 @@ # MIT License, Copyright (c) 2022 Marvin Borner +# TODO: move to monad? :import std/Combinator . :import std/Logic . |