json: Define types, add sop

This commit is contained in:
Nathan McCarty 2025-01-25 02:50:22 -05:00
parent b018967cb1
commit b70ed0e147

View file

@ -19,6 +19,7 @@ depends = base
, tailrec
, eff
, elab-util
, sop
, ansi
, if-unsolved-implicit
, c-ffi