caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Nils Anders Danielsson edfa0ab24e [ #5731 ] Added the field metaModule to MetaId.		2 年之前
..
Abstract	56634f0bb3 [ fix #4735 ] store original concrete name in abstract names	4 年之前
Concrete	abef20b0ff base-4.16 compatibility: add to `List1.{pre/ap}pend` suffix `List`	3 年之前
Parser	108a7fd9eb [ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.	6 年之前
Common.hs	edfa0ab24e [ #5731 ] Added the field metaModule to MetaId.	2 年之前
Internal.hs	552987aa01 More fine-grained blocking (#4782)	4 年之前
Position.hs	3543ef3df1 [ ghc-9.0 ] enable warning compat-unqualified-imports	3 年之前