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

Add JSON Parser

Browse source
This commit is contained in:
Nathan McCarty 2025-01-25 02:27:25 -05:00
parent faaf42e66c
commit d030bd79c5
3 changed files with 291 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
advent.ipkg
View file

@ -19,6 +19,7 @@ depends = base
, tailrec
, eff
, elab-util
, sop
, ansi
, if-unsolved-implicit
, c-ffi
@ -33,6 +34,7 @@ modules = Runner
, Parser
, Parser.Interface
, Parser.Numbers
, Parser.JSON
-- main file (i.e. file to load at REPL)
main = Main