json: Define types, add sop

This commit is contained in:
Nathan McCarty 2025-01-25 02:50:22 -05:00
parent 6be2b5372e
commit e74fe68e32

View file

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