Nils Anders Danielsson
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 سال پیش | |
|---|---|---|
| .. | ||
| Data.agda | 9 سال پیش | |
| Nested.agda | 9 سال پیش | |
| Record.agda | 9 سال پیش | |
|
Nils Anders Danielsson
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 سال پیش | |
|---|---|---|
| .. | ||
| Data.agda | 9 سال پیش | |
| Nested.agda | 9 سال پیش | |
| Record.agda | 9 سال پیش | |