Alex Rice 8735356e27 agda-prelude: compat-2.6.0 -> compat-2.6.1		2020-08-10 15:07:49 +01:00
..
default.nix	agda-prelude: compat-2.6.0 -> compat-2.6.1	2020-08-10 15:07:49 +01:00