search

idris-hackers / software-foundations

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

WIP: Add CONTRIBUTING.md #15

Closed yurrriq closed 7 years ago

yurrriq commented 7 years ago

This will eventually resolve #4.