GitHub repository: stefan-hoeck/idris2-json
Primary language: Idris
Created: 2021-04-21T17:48:44Z
Description: Automatically derivable JSON marshallers in the spirit of Haskell's aeson