Nils Anders Danielsson 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 jaren geleden
..
Empty.agda 0dd4207b78 Made the loading of interfaces more robust. This fixes issue 181. 15 jaren geleden