From 27f0cbf21e01448245d54f7818582c741d8cdafa Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 6 Nov 2023 18:52:17 +0100
Subject: Minor general additions

---
 samples/fun/interpreter.bruijn | 1 -
 1 file changed, 1 deletion(-)

(limited to 'samples/fun/interpreter.bruijn')

diff --git a/samples/fun/interpreter.bruijn b/samples/fun/interpreter.bruijn
index 0691f4a..c2b8020 100644
--- a/samples/fun/interpreter.bruijn
+++ b/samples/fun/interpreter.bruijn
@@ -7,7 +7,6 @@
 :import std/List .
 :import std/Char C
 
-# TODO: finish types
 uni [0 0] int [0 Ω] ⧗ (List Bit) → Term
 	int [[[0 go (2 2) 1]]]
 		go [[[[2 match]]]]
-- 
cgit v1.2.3