Stream: Coq users

Topic: Parsing JSON


view this post on Zulip Peter Lar (Oct 17 2020 at 10:36):

Hey, can you tell me if there are frameworks on coq to process JSON into coq structures/classes?

view this post on Zulip Karl Palmskog (Oct 17 2020 at 11:28):

see https://github.com/ejgallego/coq-serapi - but note that sexp format is currently better tested/supported.

view this post on Zulip Peter Lar (Oct 17 2020 at 12:11):

Karl Palmskog said:

see https://github.com/ejgallego/coq-serapi - but note that sexp format is currently better tested/supported.

Thanks
Are there frameworks just for processing JSON?

view this post on Zulip Karl Palmskog (Oct 17 2020 at 12:17):

not to my knowledge

view this post on Zulip Peter Lar (Oct 17 2020 at 12:24):

Karl Palmskog said:

not to my knowledge

Thanks!


Last updated: Jan 29 2023 at 01:02 UTC