Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
8 yıl önce | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | 8 yıl önce | |
|
Andreas Abel
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
8 yıl önce | |
|---|---|---|
| .. | ||
| UnsolvedMetas.agda | 8 yıl önce | |