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

Get module export list #161

Closed ericgiovannini closed 4 years ago

ericgiovannini commented 4 years ago

Adds the ability to get the list of exports from a module for later usage.

lastland commented 4 years ago

I have manually merged this in.