| .. |
|
Issue964
|
103dbd2dfb
Re #2223 first try (does not work for local variables yet)
|
%!s(int64=8) %!d(string=hai) anos |
|
Bool.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Char.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Coinduction.agda
|
0fc6b558b0
[ re #5386 ] Address two comments by @nad
|
%!s(int64=3) %!d(string=hai) anos |
|
Equality.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Float.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
IO.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Integer.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Irrelevance.agda
|
13b4136a06
[ primitive ] removed unused IRRAXIOM builtin
|
%!s(int64=9) %!d(string=hai) anos |
|
Issue481ParametrizedModule.agda
|
2f4f19bc49
Modified semantics of 'open import M args' such that M does not get added to the scope.
|
%!s(int64=12) %!d(string=hai) anos |
|
Level.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
List.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
MAlonzo.agda
|
0fc6b558b0
[ re #5386 ] Address two comments by @nad
|
%!s(int64=3) %!d(string=hai) anos |
|
Makefile
|
0aadc724f3
[ fixed #3159 ] By replacing `--no-default-libraries` by `--no-libraries`.
|
%!s(int64=6) %!d(string=hai) anos |
|
Maybe.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Nat.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Path.agda
|
e2eb867be0
[ fix #4384 ] Handled path lambdas in rewrite rules.
|
%!s(int64=3) %!d(string=hai) anos |
|
Prelude.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Product.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Reflection.agda
|
26d4736488
[ #5317 ] The reflection machinery now supports quantities (in Arg).
|
%!s(int64=3) %!d(string=hai) anos |
|
Size.agda
|
fa09a8fe74
[ re #4908 ] add explicit --sized-types flag to test suite
|
%!s(int64=3) %!d(string=hai) anos |
|
String.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
|
Sum.agda
|
686016ca29
[ testsuite ] Added "either" method to Common.Sum.
|
%!s(int64=8) %!d(string=hai) anos |
|
Unit.agda
|
a50ff581f3
[ #2487 ] consistency checking of options
|
%!s(int64=5) %!d(string=hai) anos |
Andrea Vezzosi
e2eb867be0
[ fix #4384 ] Handled path lambdas in rewrite rules.