Search results

Standardise names for qualified module imports

admin

cosmetic

library-design

task

Status: Open.

#2280 In agda/agda-stdlib;

· jamesmckinna opened on Feb 6, 2024

Add a scoped version of the reflection machinery

reflection

task

Status: Open.

#2192 In agda/agda-stdlib;

· gallais opened on Nov 2, 2023

Improvements for <code>Text.Pretty</code>

low-hanging-fruit

performance

task

Status: Open.

#1748 In agda/agda-stdlib;

· gallais opened on Apr 5, 2022

Missing COMPILE pragmas for JavaScript

task

Status: Open.

#1409 In agda/agda-stdlib;

· rintcius opened on Jan 27, 2021

Alias Infimum, Supremum, Extrema additions in Maybe.Relations

library-design

naming

task

Status: Open.

#1155 In agda/agda-stdlib;

· ajrouvoet opened on Apr 8, 2020

Profile the library and eliminate hotspots

performance

task

Status: Open.

#1105 In agda/agda-stdlib;

· MatthewDaggitt opened on Mar 8, 2020

In CommutativeRing, Ring.semiring ≠ CommutativeSemiring.semiring

discussion

library-design

task

Status: Open.

#898 In agda/agda-stdlib;

· laMudri opened on Sep 14, 2019

Add SHE combinators for Alternative

addition

task

Status: Open.

#844 In agda/agda-stdlib;

· gallais opened on Jul 18, 2019

Add coinductive closure operators for relations

addition

low-hanging-fruit

task

Status: Open.

#654 In agda/agda-stdlib;

· gallais opened on Mar 18, 2019

Look at @JLimperg's work on mixed (co)-recursion

task

Status: Open.

#635 In agda/agda-stdlib;

· gallais opened on Feb 24, 2019

Prove properties of functions for codata

addition

low-hanging-fruit

task

Status: Open.

#488 In agda/agda-stdlib;

· gallais opened on Oct 4, 2018

Look into graded monads

library-design

task

Status: Open.

#481 In agda/agda-stdlib;

· gallais opened on Sep 26, 2018