Andrés Sicard-Ramírez
a2048ec740
[ examples ] Added some untested examples.
|
8 年 前 | |
|---|---|---|
| .. | ||
| Coinduction.agda | 8 年 前 | |
| Level.agda | 8 年 前 | |
|
Andrés Sicard-Ramírez
a2048ec740
[ examples ] Added some untested examples.
|
8 年 前 | |
|---|---|---|
| .. | ||
| Coinduction.agda | 8 年 前 | |
| Level.agda | 8 年 前 | |