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

Andrés Sicard-Ramírez 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis.		3 年之前
..
cabal_install	9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis.	3 年之前
header.sh	a023a6de3c [ .travis ] Fixed withespace issues.	5 年之前