GitHub · Where software is built

Labels Milestones New issue

Missing <code>padRight</code> properties

low-hanging-fruit

#2696

· gallais opened

on Apr 11, 2025

Add <code>Data.Nat.Bounded</code>

low-hanging-fruit

agda/agda-stdlib

#2257

· jamesmckinna opened

on Jan 15, 2024

Add Data.Rational.Tactic.RingSolver

low-hanging-fruit

#1879

· Taneb opened

on Nov 11, 2022

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

low-hanging-fruit

#1748

· gallais opened

on Apr 5, 2022

Prove properties of rounding functions in <code>Data.Rational(.Unnormalised).Base</code>

low-hanging-fruit

#1591

· MatthewDaggitt opened

on Sep 21, 2021

Apply <code>--safe</code> and <code>--without-k</code> on a library level

low-hanging-fruit

#1524

· MatthewDaggitt opened

on Jun 20, 2021

<code>Reflection.Show.showArg</code> doesn't print argument annotations

low-hanging-fruit

#1491

· MatthewDaggitt opened

on Apr 27, 2021

Add a function to show a rational number as a decimal, to a given precision.

low-hanging-fruit

#1481

· Taneb opened

on Apr 16, 2021

Fix the mentions of defunct <code>README</code> modules

continuous-integration

low-hanging-fruit

#1380

· gallais opened

on Dec 14, 2020

Literals for any ring?

low-hanging-fruit

#1363

· gallais opened

on Nov 23, 2020

Look into Haskell's streaming for ideas for CoWriter

low-hanging-fruit

#1073

· gallais opened

on Jan 25, 2020

Add free monad for general recursion

low-hanging-fruit

#1065

· gallais opened

on Jan 22, 2020