| .. |
|
Compiler
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
%!s(int64=3) %!d(string=hai) anos |
|
Interaction
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
%!s(int64=3) %!d(string=hai) anos |
|
Syntax
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
%!s(int64=2) %!d(string=hai) anos |
|
Termination
|
49a3f78ff6
cleanup: Remove unnecessary LANGUAGE GeneralizedNewtypeDeriving
|
%!s(int64=4) %!d(string=hai) anos |
|
TypeChecking
|
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.
|
%!s(int64=2) %!d(string=hai) anos |
|
Utils
|
62638020d7
Made the code in Agda.Utils.Cluster more general.
|
%!s(int64=2) %!d(string=hai) anos |
|
Helpers.hs
|
87be6ef89e
Added Internal.Helpers.smaller.
|
%!s(int64=3) %!d(string=hai) anos |
|
Tests.hs
|
863bcdbdca
[ #5326 ] Changed the representations of highlighting information.
|
%!s(int64=3) %!d(string=hai) anos |
|
TypeChecking.hs
|
d1165975ac
Remove unneeded "LANGUAGE CPP" pragmas
|
%!s(int64=5) %!d(string=hai) anos |
Nils Anders Danielsson
edfa0ab24e
[ #5731 ] Added the field metaModule to MetaId.