From 10e46668751765c2981a07da3bc9411093db2bee Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 21:40:49 +0200
Subject: Minor fixes

---
 std/Option.bruijn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'std/Option.bruijn')

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 .
-- 
cgit v1.2.3