List view

[ new ] Data.Trie(.NonEmpty)

addition

Status: Merged (completed).

agda/agda-stdlibnumber 447

#447 In agda/agda-stdlib;

· by gallais was closed on Apr 23, 2019

[ fix #642 ] Fixed precedence levels of <code>Ring</code> operations

breaking

bug

Status: Merged (completed).

agda/agda-stdlibnumber 664

#664 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Jun 7, 2019

[ re #595] Added documentation for <code>List</code>

addition

documentation

Status: Merged (completed).

agda/agda-stdlibnumber 680

#680 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Apr 12, 2019

[ fix #467 #147 ] Added the Disjoint, AllPairs and Unique relations for List

addition

Status: Merged (completed).

agda/agda-stdlibnumber 672

#672 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Apr 13, 2019

Data.List.Unique - Lists Containing no Duplicates

addition

status: duplicateThe main contents of the issue or PR already exists in another issue or PR.The main contents of the issue or PR already exists in another issue or PR.

Status: Closed (abandoned).

agda/agda-stdlibnumber 671

#671 In agda/agda-stdlib;

· by jpm61704 was closed on Mar 28, 2019

[ Fix #646 ] Generalize Heterogeneous Equality.

library-design

Status: Merged (completed).

agda/agda-stdlibnumber 647

#647 In agda/agda-stdlib;

· by xekoukou was closed on Apr 19, 2019

[ fix #577 ] generic n-ary functions and products

addition

documentation

Status: Merged (completed).

agda/agda-stdlibnumber 608

#608 In agda/agda-stdlib;

· by gallais was closed on May 31, 2019

[ doc ] expanding README.Case

documentation

Status: Merged (completed).

agda/agda-stdlibnumber 614

#614 In agda/agda-stdlib;

· by gallais was closed on Apr 12, 2019

[ #643 ] Add rewriting theory concepts to standard library

addition

Status: Merged (completed).

agda/agda-stdlibnumber 648

#648 In agda/agda-stdlib;

· by zgrannan was closed on Apr 29, 2019

[ new ] combinators for List's All

addition

Status: Merged (completed).

agda/agda-stdlibnumber 662

#662 In agda/agda-stdlib;

· by gallais was closed on May 14, 2019

[ re #488 ] properties of Stream's map, repeat, and cycle

addition

Status: Merged (completed).

agda/agda-stdlibnumber 638

#638 In agda/agda-stdlib;

· by gallais was closed on Apr 24, 2019

[ refactor ] Experimenting with variables in <code>Data.List</code>

library-design

refactoring

Status: Merged (completed).

agda/agda-stdlibnumber 701

#701 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Apr 16, 2019

[ new ] proofs that various orders are connex

addition

Status: Merged (completed).

agda/agda-stdlibnumber 702

#702 In agda/agda-stdlib;

· by gallais was closed on May 1, 2019

deprecate <code>Foreign.Haskell.Unit</code>

deprecation

Status: Merged (completed).

agda/agda-stdlibnumber 699

#699 In agda/agda-stdlib;

· by ghost was closed on Apr 22, 2019

add <code>Maybe</code> type for Haskell interop

addition

discussion

FFI

library-design

Status: Merged (completed).

agda/agda-stdlibnumber 700

#700 In agda/agda-stdlib;

· by ghost was closed on Jun 27, 2019

[ refactor ] Removed trivial cases

refactoring

Status: Merged (completed).

agda/agda-stdlibnumber 708

#708 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Apr 19, 2019

[ refactor ] Added some documentation + Refl + Universal to Relation.Binary.Core

addition

documentation

question

refactoring

Status: Merged (completed).

agda/agda-stdlibnumber 712

#712 In agda/agda-stdlib;

· by MatthewDaggitt was closed on May 3, 2019

Lifted choice

addition

Status: Merged (completed).

agda/agda-stdlibnumber 776

#776 In agda/agda-stdlib;

· by MatthewDaggitt was closed on May 25, 2019

[ new ] Data.Vec.Bounded for bounded vectors

addition

Status: Merged (completed).

agda/agda-stdlibnumber 790

#790 In agda/agda-stdlib;

· by gallais was closed on Jun 15, 2019

Proofs about <code>_/_</code>

addition

breaking

bug

Status: Merged (completed).

agda/agda-stdlibnumber 792

#792 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Jun 5, 2019

Fix #591, adding argmax/min, max/min for lists

addition

Status: Merged (completed).

agda/agda-stdlibnumber 788

#788 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Jun 7, 2019

Transfer across some proofs to <code>Permutation.Setoid</code> and deprecate <code>Permutation.Inductive</code>

addition

deprecation

refactoring

Status: Merged (completed).

agda/agda-stdlibnumber 820

#820 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Jun 26, 2019

Refactor lcm

addition

breaking

deprecation

refactoring

Status: Merged (completed).

agda/agda-stdlibnumber 818

#818 In agda/agda-stdlib;

· by MatthewDaggitt was closed on Jun 27, 2019

[ re #678 ] Add faster implementation of <code>show</code> for naturals

addition

Status: Merged (completed).

agda/agda-stdlibnumber 687

#687 In agda/agda-stdlib;

· by mechvel was closed on Apr 15, 2019

Implement Reader monad (transformer)

addition

Status: Merged (completed).

agda/agda-stdlibnumber 691

#691 In agda/agda-stdlib;

· by iitalics was closed on Apr 19, 2019