From ec451e007cd08f63a3ced1ced529c9699d34a6c9 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Tue, 13 May 2025 12:55:24 -0400
Subject: [PATCH] Removed comment

---
 model.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/model.py b/model.py
index b9b3af1..6a6df38 100644
--- a/model.py
+++ b/model.py
@@ -103,9 +103,6 @@ def binary_function_str(f: ModelFunction) -> str:
 
 Interpretation = Dict[Operation, ModelFunction]
 
-# TODO: Replace with a nicer representation
-# Include meet and join functions
-# Something like x : (all elements less than x)
 class OrderTable:
     def __init__(self):
         # a : {x | x <= a }