5bb9f379b0 | ||
---|---|---|
.. | ||
Contradiction.agda | ||
Dec.agda | ||
Equality.agda | ||
Functions.agda | ||
Product.agda | ||
Remember.agda | ||
Step.agda | ||
StrictMode.agda | ||
Subtyping.agda | ||
TypeCheck.agda |
5bb9f379b0 | ||
---|---|---|
.. | ||
Contradiction.agda | ||
Dec.agda | ||
Equality.agda | ||
Functions.agda | ||
Product.agda | ||
Remember.agda | ||
Step.agda | ||
StrictMode.agda | ||
Subtyping.agda | ||
TypeCheck.agda |