idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Add installation instructions for prerequisites on macOS #45

Closed anton-trunov closed 6 years ago

yurrriq commented 6 years ago

LGTM. Thanks!

anton-trunov commented 6 years ago

Thank you!