embed the "racket world map" on the PLT/community page

racket · Aug 15, 2018 · 0eee216 · 0eee216
1 parent f777eb7
commit 0eee216
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/www/team.html.pm b/www/team.html.pm
@@ -13,6 +13,14 @@
 }
 
 
+◊section{
+◊div{Racket World Map}
+
+◊iframe[#:src "https://www.google.com/maps/d/u/0/embed?mid=1i3zN11e_6te5ytduAiv1cidrIi4" #:width "640" #:height "480" #:align "top"]
+}
+
+
+
 ◊section{
 ◊div{Recognized Contributors