[icfp] bye matthias

2016-03-03 05:28:07 -05:00 · 2016-03-03 05:28:07 -05:00 · 98b03c91e3
commit 98b03c91e3
parent 12b7c5fd9c
1 changed files with 1 additions and 1 deletions
--- a/icfp-2016/paper.scrbl
+++ b/icfp-2016/paper.scrbl
@ -2,7 +2,7 @@

@(require "common.rkt")

-@authorinfo["Ben Greenman and Matthias Felleisen"
+@authorinfo["Ben Greenman"
            "Northeastern University, Boston, USA"
            ""]