Stream: hs-to-coq devs & users

Topic: Parsec to Coq?


view this post on Zulip Yishuai Li (Sep 24 2020 at 00:13):

Has someone tried converting Parsec?

view this post on Zulip Bas Spitters (Sep 24 2020 at 06:09):

I'd start looking here, but I don't think it's included.
https://github.com/jwiegley/coq-haskell

view this post on Zulip Yao Li (Sep 24 2020 at 15:09):

We have tried, but a problem is that Parsec relies on the Alternative type class which includes corecursive functions such as some and many. We haven't tried if we can get rid of these functions and how many would remain if we did that.

view this post on Zulip Yishuai Li (Sep 25 2020 at 17:35):

Ok then I'm starting my own before it's done.


Last updated: Feb 06 2023 at 06:29 UTC