Add todo axiom (#158)

anoma · Jan 14, 2025 · 14b562e · 14b562e
1 parent 011d810
commit 14b562e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/Stdlib/Debug/Todo.juvix b/Stdlib/Debug/Todo.juvix
@@ -0,0 +1,4 @@
+module Stdlib.Debug.Todo;
+
+--- Something that hasn't yet been implemented
+axiom todo {A : Type} : A;
diff --git a/Stdlib/Prelude.juvix b/Stdlib/Prelude.juvix
@@ -17,5 +17,6 @@ import Stdlib.Data.Result open public;
 import Stdlib.Data.Range open public;
 import Stdlib.Function open public;
 import Stdlib.System.IO open public;
+import Stdlib.Debug.Todo open public;
 
 import Stdlib.Trait open public;