List view

[ refactor ] v2.4-admissible version of #2952

library-design

refactoring

Status: Open (in progress).

agda/agda-stdlibnumber 2980

#2980 In agda/agda-stdlib;

· jamesmckinna opened on Apr 16, 2026

Add stack configuration for GHC 9.12.4

continuous-integration

Status: Open (in progress).

agda/agda-stdlibnumber 2990

#2990 In agda/agda-stdlib;

· shhyou opened on Apr 29, 2026