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 години | |