Troubleshooting on MacOSX & git submodule oddities

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

Closed euisuny closed 4 years ago

euisuny commented 4 years ago

Some troubleshooting advice for Mac OSX users, not sure if it would be better for this explanation to live on a Dependencies section instead.

Also, a git submodule tip.