Nils Anders Danielsson
0dd4207b78
Made the loading of interfaces more robust. This fixes issue 181.
|
15 年之前 | |
|---|---|---|
| .. | ||
| Empty.agda | 15 年之前 | |
|
Nils Anders Danielsson
0dd4207b78
Made the loading of interfaces more robust. This fixes issue 181.
|
15 年之前 | |
|---|---|---|
| .. | ||
| Empty.agda | 15 年之前 | |