search

antalsz / hs-to-coq

Convert Haskell source code to Coq source code
https://hs-to-coq.readthedocs.io
MIT License
279 stars 27 forks source link

Update extraction to use Haskell native types as much as possible #74

Closed jwiegley closed 6 years ago

antalsz commented 6 years ago

@jwiegley Do you still want to work on this, or should we close it?

jwiegley commented 6 years ago

@antalsz I'll see if I can resolve the conflicts; if so, I recommend merging.

jwiegley commented 6 years ago

@antalsz It should be ready now, it passes stack test.