| .. |
|
AllStdLib.agda
|
fc21496930
[ re #4908 ] Add --sized-types flag to one more test case
|
%!s(int64=3) %!d(string=hai) anos |
|
AllStdLib.options
|
0606bf2ce0
[ #5431 ] Added --ghc-strict-data.
|
%!s(int64=3) %!d(string=hai) anos |
|
AllStdLib.out
|
b27f6df3ed
[ test ] put all the with-stdlib compiler tests in AllStdLib.agda
|
%!s(int64=8) %!d(string=hai) anos |
|
DivMod.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
HelloWorld.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
HelloWorldPrim.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
ShowNat.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
TrustMe.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
Vec.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
dimensions.agda
|
e129903247
[ re #4908 ] Add explicit --guardedness flags to test cases
|
%!s(int64=3) %!d(string=hai) anos |
|
tests.agda-lib
|
7d43f32e37
[ #1844 ] Added test case for testing MAlonzo on all the standard library [ci skip].
|
%!s(int64=8) %!d(string=hai) anos |
Nils Anders Danielsson
0606bf2ce0
[ #5431 ] Added --ghc-strict-data.