From 7f7050d079e5c9220d871e9640f03b7321d4f5d8 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Tue, 23 Apr 2024 15:13:43 -0400 Subject: [PATCH] Add nix issue --- config.org | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/config.org b/config.org index 681faf3..d564182 100644 --- a/config.org +++ b/config.org @@ -88,6 +88,10 @@ It's not the right tool for every codebase, but proper use of literate programmi ** Current Issues +*** TODO Nix + +Creating garbage collection roots currently doesn't work. + *** TODO Idris The configuration for Idris is a bit light, and could use some touching up.