GitHub · Where software is built

Labels Milestones New issue

[ refactor ] rationalise the common APIs for <code>List</code> and <code>Vec</code> versions of <code>Data..Relation.Binary.Lex.</code>

#2687

· jamesmckinna opened

on Mar 28, 2025

·

Left/Right inconsistency

#2654

· JacquesCarette opened

on Mar 12, 2025

Prefer <code>contradiction</code> over <code>⊥-elim</code> when it makes sense?

#2653

· JacquesCarette opened

on Mar 11, 2025

Infix proofs

#2549

· JacquesCarette opened

on Jan 15, 2025

Refactor <code>Algebra.Consequences.*</code>?

#2502

· jamesmckinna opened

on Nov 22, 2024

·

Get rid of inconsistent <code>homo</code> name in algebra hierarchy?

#2458

· jamesmckinna opened

on Aug 15, 2024

Linear-time implementation of <code>Data.Nat.Properties.≤′⇒≤</code>?

#2442

· jamesmckinna opened

on Jul 26, 2024

Proofs in <code>Data.Vec.Properties</code> take general properties as inputs

#2421

· mildsunrise opened

on Jun 29, 2024

Rename <code>WeaklyDecidable</code>?

#2404

· jamesmckinna opened

on Jun 9, 2024

[DRY] what's the best way to <code>public</code>ly re-export properties/structure?

#2391

· jamesmckinna opened

on May 20, 2024

Allow <code>.lagda</code> for library sources

#2379

· JacquesCarette opened

on May 3, 2024

To let or not to let

#2369

· JacquesCarette opened

on Apr 17, 2024