Yishuai Li (Sep 24 2020 at 00:13): Yishuai Li (Sep 24 2020 at 00:13):Has someone tried converting Parsec?
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
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.
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