bedrocksystems/coq-lens issues and pull requests

#24 - invalid URL in opam package ?

Issue - State: open - Opened by fblanqui 7 months ago

#23 - Notation `_ & _` interferes with Coq's `sigT` notation

Issue - State: closed - Opened by swasey almost 2 years ago - 2 comments

#22 - error installing coq-lens with opam

Issue - State: closed - Opened by rhz almost 3 years ago - 1 comment

#21 - Support Coq 8.14 and 8.15

Pull Request - State: closed - Opened by Blaisorblade about 3 years ago - 1 comment

#20 - `lens` combinator?

Issue - State: open - Opened by quinn-dougherty over 3 years ago - 1 comment

#19 - Need support coq 8.13

Issue - State: closed - Opened by NanachiKyubey over 3 years ago - 1 comment

#18 - Bugfix: add missing Bind Scope

Pull Request - State: closed - Opened by Blaisorblade over 3 years ago

#17 - Tweak lens notation.

Pull Request - State: closed - Opened by swasey almost 4 years ago

#16 - Lens notations

Pull Request - State: closed - Opened by gstew5 about 4 years ago - 1 comment

#15 - DRAFT: Make code compile with coq 8.13.

Pull Request - State: closed - Opened by Janno about 4 years ago

#15 - DRAFT: Make code compile with coq 8.13.

Pull Request - State: closed - Opened by Janno about 4 years ago

#14 - more documentation, addressed Gordon's suggestion

Pull Request - State: closed - Opened by aa755 over 4 years ago - 1 comment

#13 - ported to Coq 8.12 (metacoq syntax changed)

Pull Request - State: closed - Opened by aa755 over 4 years ago - 1 comment

#13 - ported to Coq 8.12 (metacoq syntax changed)

Pull Request - State: closed - Opened by aa755 over 4 years ago - 1 comment

#12 - preliminary lens notations

Pull Request - State: open - Opened by gmalecha over 4 years ago

#12 - preliminary lens notations

Pull Request - State: open - Opened by gmalecha over 4 years ago

#11 - `From Lens Require Lens TC.TC.` lenses breaks ssreflect rewrite syntax `-!` transitively

Issue - State: closed - Opened by Janno over 4 years ago - 4 comments

#10 - thinking about the laws with lens families

Pull Request - State: open - Opened by gmalecha over 4 years ago

#10 - thinking about the laws with lens families

Pull Request - State: open - Opened by gmalecha over 4 years ago

#9 - Lens notations

Issue - State: closed - Opened by gmalecha almost 5 years ago - 1 comment

#8 - Lens laws

Issue - State: open - Opened by gmalecha almost 5 years ago

#8 - Lens laws

Issue - State: open - Opened by gmalecha almost 5 years ago

#7 - ported to 8.11. added the genLensN function

Pull Request - State: closed - Opened by aa755 almost 5 years ago

#7 - ported to 8.11. added the genLensN function

Pull Request - State: closed - Opened by aa755 almost 5 years ago

#6 - warn when no projections are found.

Pull Request - State: closed - Opened by gmalecha over 5 years ago

#6 - warn when no projections are found.

Pull Request - State: closed - Opened by gmalecha over 5 years ago

#5 - lens generation silently fails when primitive projections not set

Issue - State: closed - Opened by aa755 over 5 years ago - 2 comments

#5 - lens generation silently fails when primitive projections not set

Issue - State: closed - Opened by aa755 over 5 years ago - 2 comments

#4 - Switch to the Haskell definition

Issue - State: closed - Opened by gmalecha over 6 years ago - 1 comment