Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

json: Define types, add sop

Browse source
This commit is contained in:
Nathan McCarty 2025-01-25 02:50:22 -05:00
parent fdb166a2a6
commit 1a9fce3860
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
advent.ipkg
View file

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