From 35d33e72504c0547f35212182e906f06c664d3af Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Aug 2018 17:36:11 +0200
Subject: Add contact

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 204c03b..6f371f8 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ Set Isabelle's prover to Pure in the Theories panel, and import `HoTT`.
 Collaborators welcome!
 
 I've been working on this library as part of my Masters project, and there are very many improvements and developments that have yet to be implemented.
-If you're interested in working together on any part of this do drop me a line!
+If you're interested in working together on any part of this do drop me a line at `joshua DOT chen AT uni-bonn DOT de`.
 
 ## License
 MIT
-- 
cgit v1.2.3