| .. |
|
01-arguments.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
02-classes-indep.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
03-classes.agda
|
cf0b3a2fac
Updated to v1.2 of the standard library
|
před 5 roky |
|
04-equality.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
05-equality-std1.agda
|
cf0b3a2fac
Updated to v1.2 of the standard library
|
před 5 roky |
|
05-equality-std2.agda
|
cf0b3a2fac
Updated to v1.2 of the standard library
|
před 5 roky |
|
06-listEquality.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
07-subclasses.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
08-higherOrder.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
09-higherOrderClasses.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
11-monads.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
před 3 roky |
|
12-constraintFamilies.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
13-implicitProofObligations.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
|
14-implicitConfigurations.agda
|
bcfcd195df
[ lib-succeed, #1927 ] Added tests related to instance arguments.
|
před 8 roky |
Jesper Cockx
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases