List view

release v1.7.3

release

Status: Merged (completed).

agda/agda-stdlibnumber 2141

#2141 In agda/agda-stdlib;

· by andreasabel was closed on Oct 13, 2023

release 1.7.3

release

Status: Closed (abandoned).

agda/agda-stdlibnumber 2132

#2132 In agda/agda-stdlib;

· by andreasabel was closed on Oct 12, 2023

Put indexed data types in the right universes

Status: Merged (completed).

agda/agda-stdlibnumber 2030

#2030 In agda/agda-stdlib;

· by andreasabel was closed on Jul 25, 2023

1.7.2 errors with Agda 2.6.4

bug

Status: Closed (completed).

#2129 In agda/agda-stdlib;

· by juhp was closed on Oct 13, 2023

Release v1.7.3

release

Status: Closed (completed).

#2143 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Oct 15, 2023