polarity-lang / polarity

A Language with Dependent Data and Codata Types
https://polarity-lang.github.io
Apache License 2.0
57 stars 2 forks source link

Start working on a better CONTRIBUTING.md #383

Closed BinderDavid closed 2 days ago

BinderDavid commented 2 days ago

Fixes #364

Rendered CONTRIBUTING.md: https://github.com/polarity-lang/polarity/blob/c9be5ea0c5e9bc45a6a78f8d7a01fd6c9f915f61/CONTRIBUTING.md Rendered README.md: https://github.com/polarity-lang/polarity/blob/c9be5ea0c5e9bc45a6a78f8d7a01fd6c9f915f61/README.md

codecov[bot] commented 2 days ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

see 5 files with indirect coverage changes


🚨 Try these New Features:

BinderDavid commented 2 days ago

I like this. Maybe you can also add a small sentence containing something like "If you are a nix user, please refer to contrib/nix/README.md"?

Done in cb7506b48b9b924cb8fb965f7c965e34dd12e0f8 :)