4 Nov
2013
4 Nov
'13
10:59 a.m.
GHC HEAD still doesn't seem to recognize GND as Safe. I guess we can lift this restriction now that we have roles? Roman