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 роки тому | |