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