diff options
author | Tej Chajed <tchajed@mit.edu> | 2017-08-12 12:17:37 +0100 |
---|---|---|
committer | Tej Chajed <tchajed@mit.edu> | 2017-08-12 12:17:37 +0100 |
commit | 42fb6930df1ae92b952d6333222ff05198bf8ef5 (patch) | |
tree | a979e73bf64f180825ed620261bd779cab5a75e1 /CONTRIBUTING.md | |
parent | 6b959ae5807a80ea27c5c7a14fe7c3495913257b (diff) |
Link to the existing list of tutorials
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3e06e89ff..5797b8312 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -44,6 +44,6 @@ The sources for the [Coq reference manual](https://coq.inria.fr/distrib/current/ There are many useful ways to contribute to the Coq ecosystem that don't involve the Coq repository. -Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. We don't yet have a good process or home for these tutorials, but are open to suggestions. +Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. Some tutorials listed on the [Coq website](https://coq.inria.fr/documentation). If you would like to add a link to this list, please create a pull request against the Coq website repository at https://github.com/coq/www. Subscribe to the [coq-club](https://coq.inria.fr/community) mailing list and answer questions there. Asking your own questions on the mailing list will also help others learn from the answers, which often come from experts in the community. |