aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Option.bruijn
diff options
context:
space:
mode:
Diffstat (limited to 'std/Option.bruijn')
-rw-r--r--std/Option.bruijn1
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 .