coq-community/coq-ext-lib issues and pull requests

#149 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: closed - Opened by proux01 5 days ago

#148 - ListSet: remove dead parameter

Pull Request - State: closed - Opened by liyishuai 16 days ago

#147 - TwoThree: remove dead parameter

Pull Request - State: closed - Opened by liyishuai 17 days ago

#100 - The EqvWF_Build instance messes up with typeclass resolution

Issue - State: open - Opened by YaZko about 4 years ago
Labels: Stale

#100 - The EqvWF_Build instance messes up with typeclass resolution

Issue - State: open - Opened by YaZko about 4 years ago
Labels: Stale

#99 - Revert backtick notation in #93

Pull Request - State: closed - Opened by liyishuai about 4 years ago - 2 comments

#99 - Revert backtick notation in #93

Pull Request - State: closed - Opened by liyishuai about 4 years ago - 2 comments

#98 - Extras: remove duplicated definition

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

#98 - Extras: remove duplicated definition

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

#97 - notation conflict

Issue - State: closed - Opened by vzaliva about 4 years ago - 24 comments

#96 - Add the let* monadic notation

Pull Request - State: closed - Opened by lthms about 4 years ago - 5 comments

#96 - Add the let* monadic notation

Pull Request - State: closed - Opened by lthms about 4 years ago - 5 comments

#95 - Add the let* monadic notation

Issue - State: closed - Opened by lthms about 4 years ago - 3 comments

#95 - Add the let* monadic notation

Issue - State: closed - Opened by lthms about 4 years ago - 3 comments

#94 - stdlibpp

Issue - State: open - Opened by spitters about 4 years ago
Labels: Stale

#93 - Bind notation allowing for type cast annotations of variables

Pull Request - State: closed - Opened by YaZko over 4 years ago

#93 - Bind notation allowing for type cast annotations of variables

Pull Request - State: closed - Opened by YaZko over 4 years ago

#92 - Really don't fail if coqdocjs not present

Pull Request - State: closed - Opened by SkySkimmer over 4 years ago

#92 - Really don't fail if coqdocjs not present

Pull Request - State: closed - Opened by SkySkimmer over 4 years ago

#91 - Don't fail if coqdocjs not present

Pull Request - State: closed - Opened by SkySkimmer over 4 years ago - 2 comments

#91 - Don't fail if coqdocjs not present

Pull Request - State: closed - Opened by SkySkimmer over 4 years ago - 2 comments

#90 - Fun functors visibility

Pull Request - State: closed - Opened by vzaliva over 4 years ago

#90 - Fun functors visibility

Pull Request - State: closed - Opened by vzaliva over 4 years ago

#89 - build problem

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

#89 - build problem

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

#88 - Why `Applicative_Fun` instance is local?

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

#88 - Why `Applicative_Fun` instance is local?

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

#87 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 6 comments

#87 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago - 6 comments

#86 - bug fix in twothreek

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

#86 - bug fix in twothreek

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

#85 - [coq] use ListNotations explicitly

Pull Request - State: closed - Opened by llelf over 4 years ago

#85 - [coq] use ListNotations explicitly

Pull Request - State: closed - Opened by llelf over 4 years ago

#84 - overlay for coq/coq#12008

Pull Request - State: closed - Opened by olaure01 over 4 years ago

#83 - Fix for Coq 8.11

Pull Request - State: closed - Opened by mattam82 over 4 years ago

#83 - Fix for Coq 8.11

Pull Request - State: closed - Opened by mattam82 over 4 years ago

#82 - Why is Monoid a record rather than a Class

Issue - State: open - Opened by lastland over 4 years ago - 10 comments
Labels: Stale

#82 - Why is Monoid a record rather than a Class

Issue - State: open - Opened by lastland over 4 years ago - 10 comments
Labels: Stale

#81 - moved generic stuff from squiggleeq: fwd tactics and decision helpers

Pull Request - State: closed - Opened by aa755 over 4 years ago - 3 comments

#81 - moved generic stuff from squiggleeq: fwd tactics and decision helpers

Pull Request - State: closed - Opened by aa755 over 4 years ago - 3 comments

#80 - Remove P*

Pull Request - State: closed - Opened by liyishuai over 4 years ago - 2 comments

#80 - Remove P*

Pull Request - State: closed - Opened by liyishuai over 4 years ago - 2 comments

#79 - monad library

Issue - State: open - Opened by vzaliva over 4 years ago - 6 comments
Labels: Stale

#79 - monad library

Issue - State: open - Opened by vzaliva over 4 years ago - 6 comments
Labels: Stale

#78 - Operator priority

Issue - State: closed - Opened by liyishuai over 4 years ago - 1 comment

#78 - Operator priority

Issue - State: closed - Opened by liyishuai over 4 years ago - 1 comment

#77 - Applicative is Functor

Pull Request - State: closed - Opened by liyishuai almost 5 years ago - 7 comments

#77 - Applicative is Functor

Pull Request - State: closed - Opened by liyishuai almost 5 years ago - 7 comments

#76 - Make vector template-polymorphic again

Pull Request - State: closed - Opened by JasonGross almost 5 years ago - 4 comments

#76 - Make vector template-polymorphic again

Pull Request - State: closed - Opened by JasonGross almost 5 years ago - 4 comments

#75 - Simplify Show

Issue - State: open - Opened by gmalecha almost 5 years ago - 7 comments
Labels: Stale

#75 - Simplify Show

Issue - State: open - Opened by gmalecha almost 5 years ago - 7 comments
Labels: Stale

#74 - Comment out eq_list_eq (workaround #73)

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

#74 - Comment out eq_list_eq (workaround #73)

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

#73 - Does not build on 8.10/dev

Issue - State: closed - Opened by Lysxia almost 5 years ago

#73 - Does not build on 8.10/dev

Issue - State: closed - Opened by Lysxia almost 5 years ago

#72 - Turn on CI

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

#72 - Turn on CI

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

#71 - Replace section annotations with global Set Universe Polymorphism

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

#71 - Replace section annotations with global Set Universe Polymorphism

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

#70 - Makefile: improve clean command

Pull Request - State: closed - Opened by Lysxia almost 5 years ago - 2 comments

#70 - Makefile: improve clean command

Pull Request - State: closed - Opened by Lysxia almost 5 years ago - 2 comments

#69 - Simplify Monad

Issue - State: open - Opened by Lysxia almost 5 years ago - 6 comments
Labels: Stale

#69 - Simplify Monad

Issue - State: open - Opened by Lysxia almost 5 years ago - 6 comments
Labels: Stale

#68 - Fix inconsistent notation levels associativity

Pull Request - State: closed - Opened by jbaum98 about 5 years ago

#68 - Fix inconsistent notation levels associativity

Pull Request - State: closed - Opened by jbaum98 about 5 years ago

#67 - Avoid relying on `Export` bug

Pull Request - State: closed - Opened by maximedenes about 5 years ago - 1 comment

#67 - Avoid relying on `Export` bug

Pull Request - State: closed - Opened by maximedenes about 5 years ago - 1 comment

#66 - Functor and Monad notations conflict

Issue - State: closed - Opened by jbaum98 about 5 years ago - 3 comments

#66 - Functor and Monad notations conflict

Issue - State: closed - Opened by jbaum98 about 5 years ago - 3 comments

#65 - Fix w.r.t. coq/coq#10441.

Pull Request - State: closed - Opened by ppedrot about 5 years ago - 12 comments

#65 - Fix w.r.t. coq/coq#10441.

Pull Request - State: closed - Opened by ppedrot about 5 years ago - 12 comments

#64 - Finite map facts about remove

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

#64 - Finite map facts about remove

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

#63 - Comonads

Pull Request - State: closed - Opened by vzaliva over 5 years ago - 2 comments

#63 - Comonads

Pull Request - State: closed - Opened by vzaliva over 5 years ago - 2 comments

#62 - Make <$> and <*> left associative

Pull Request - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#62 - Make <$> and <*> left associative

Pull Request - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#61 - Operator associativity

Issue - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#61 - Operator associativity

Issue - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#60 - Implicit arguments for mkOptionT, mkEitherT, mkIdentT

Pull Request - State: closed - Opened by Lysxia over 5 years ago - 1 comment

#59 - Travis CI

Pull Request - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#59 - Travis CI

Pull Request - State: closed - Opened by liyishuai over 5 years ago - 1 comment

#58 - StateMonad: implicit arguments for mkStateT

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

#58 - StateMonad: implicit arguments for mkStateT

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

#57 - Make >=> right associative

Pull Request - State: closed - Opened by Lysxia over 5 years ago - 1 comment

#57 - Make >=> right associative

Pull Request - State: closed - Opened by Lysxia over 5 years ago - 1 comment

#56 - >=> should be right associative

Issue - State: closed - Opened by Lysxia over 5 years ago - 1 comment

#55 - quick ixmonad and examples

Pull Request - State: closed - Opened by jldodds over 5 years ago - 7 comments

#54 - Adding a way to convert [member]s into [In]s.

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

#53 - Adding functions to go from lists to hlists and conversely.

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

#52 - Make trivial instances explicit

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

#51 - Do not rely on `Refine Instance Mode`

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

#50 - make state universe polymorphic.

Pull Request - State: closed - Opened by gmalecha almost 6 years ago - 1 comment

#49 - Fixing the fold direction for string to be consistent with list

Pull Request - State: closed - Opened by gmalecha almost 6 years ago - 1 comment

#48 - state monad using record as a state

Issue - State: open - Opened by vzaliva almost 6 years ago - 4 comments
Labels: Stale

#47 - Remove algebraic universes in match return clauses.

Pull Request - State: closed - Opened by SkySkimmer almost 6 years ago - 1 comment

#46 - Display the new ' _ <- _ ;; _ notation only with nontrivial patterns

Pull Request - State: closed - Opened by Lysxia almost 6 years ago - 2 comments

#45 - Universe polymorphism

Pull Request - State: closed - Opened by gmalecha almost 6 years ago - 1 comment

#44 - added monadic composition operator `>=>`

Pull Request - State: closed - Opened by vzaliva almost 6 years ago - 4 comments

GitHub / coq-community/coq-ext-lib issues and pull requests