Andrés Sicard-Ramírez
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
9 년 전 | |
|---|---|---|
| .. | ||
| Properties.agda | 9 년 전 | |
|
Andrés Sicard-Ramírez
514d9fc643
[ fixed #1887, examples test-suite ] Fixed lib/Test.agda test.
|
9 년 전 | |
|---|---|---|
| .. | ||
| Properties.agda | 9 년 전 | |