From b70ed0e1478dfa0f53af55cc1d7a87ad8f3d3fb7 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sat, 25 Jan 2025 02:50:22 -0500 Subject: [PATCH] json: Define types, add sop --- advent.ipkg | 1 + 1 file changed, 1 insertion(+) diff --git a/advent.ipkg b/advent.ipkg index 119b03c..607e26e 100644 --- a/advent.ipkg +++ b/advent.ipkg @@ -19,6 +19,7 @@ depends = base , tailrec , eff , elab-util + , sop , ansi , if-unsolved-implicit , c-ffi