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