Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
8 年之前 | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | 8 年之前 | |
|
Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
8 年之前 | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | 8 年之前 | |