On Mon, 10 Dec 2018, 09:30 Gershom B The other approach, which has been quite successful, by the penn team,
> is using hs-to-coq to extract coq from haskell and _then_ verify:
> https://github.com/antalsz/hs-to-coq
Thank you! Someone else proposed that off list yesterday too. If we get our
The other approach, which has been quite successful, by the penn team,
is using hs-to-coq to extract coq from haskell and _then_ verify:
https://github.com/antalsz/hs-to-coq
-g
On Sat, Dec 8, 2018 at 7:05 AM Tim Watson wrote:
>
> So far I've been reading
>