caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd

Nils Anders Danielsson 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181.		%!s(int64=15) %!d(string=hai) anos
..
Empty.agda	0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181.	%!s(int64=15) %!d(string=hai) anos