These are chat archives for evhub/coconut

8th
Dec 2017
Evan Hubinger
@evhub
Dec 08 2017 07:31
@raffomartini It should raise an error on develop now, though actually making it do the right thing is #289.