caryoscelus
1f3b3e7c5b
update to recent agda & stdlib
|
преди 5 години | |
|---|---|---|
| .. | ||
| Types.agda | преди 5 години | |
|
caryoscelus
1f3b3e7c5b
update to recent agda & stdlib
|
преди 5 години | |
|---|---|---|
| .. | ||
| Types.agda | преди 5 години | |