Upgrade codec#56

Open

jmatsushita wants to merge 2 commits intojoneshf:mainfrom

jmatsushita:upgrade-codec

Commits on Sep 17, 2022

Add spago files and upgrade code to Purs 15
m-bock
committed

Commits on Nov 14, 2023

Upgrade to purescript-codec v6 and purescript-codec-argonaut v10
jmatsushita
committed