Merge branch 'master' of github.com:clarus/io-system

coq-io · May 10, 2015 · a9539c8 · a9539c8
2 parents bc40fe0 + 1713d63
commit a9539c8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,6 @@
 # IO System
+[![Join the chat at https://gitter.im/clarus/io-system](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/clarus/io-system?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
+
 System effects for Coq. See also [coq:io](https://github.com/clarus/io).
 
     Require Import Io.All.