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