-
Notifications
You must be signed in to change notification settings - Fork 2
Insights: ohad/idris-setoid
Community Standards
Here’s how this project compares to recommended community standards.
Checklist
-
-
Description
-
README Writing a README
-
Code of conduct What is a code of conduct?
-
Contributing Writing contributing guidelines
-
Security policy Set up a security policy
-
Issue templates
-
Pull request template
What is the community profile?