Constant names Empty and Universe, pretty printing
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Thu, 19 Jun 2014 09:37:48 +0000 (11:37 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Thu, 19 Jun 2014 15:42:10 +0000 (17:42 +0200)

No differences found