From a7b647f1068a80b65cc790f1a7bbe4604834412c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr> Date: Tue, 11 Mar 2025 19:35:43 +0100 Subject: [PATCH] TODO. --- TODO.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/TODO.md b/TODO.md index 6e90a02..fbf3d15 100644 --- a/TODO.md +++ b/TODO.md @@ -16,6 +16,9 @@ ### Short Term +* Think about a way of cleaning up at the end of every test scenario + (e.g., to close files or database connections). + * It would be useful to have two combinators that sort a list: `unsorted` (deconstructible), and `sorted` (constructible). Both would rely on `List.sort`. -- GitLab