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

#43 - Extraction to Haskell

Issue - State: open - Opened by HuStmpHrrr about 6 years ago - 1 comment
Labels: Stale

#42 - Prepare for porting to lia

Pull Request - State: closed - Opened by maximedenes about 6 years ago

#41 - V8.8

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

#40 - Add Monad notation to bind patterns

Pull Request - State: closed - Opened by Lysxia about 6 years ago - 1 comment

#39 - coq-ext-lib.0.9.6 and coq-8.7.0

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

#38 - fold direction?

Issue - State: closed - Opened by lastland over 7 years ago - 1 comment

#37 - added hlist_to_list and hlist_map_to_list

Pull Request - State: closed - Opened by Ptival over 7 years ago - 3 comments

#36 - a few cosmetic changes to mapWriterT, etc.

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

#35 - Cosmetic updates to mapWriterT etc.

Pull Request - State: closed - Opened by gmalecha over 7 years ago - 1 comment

#34 - mapWriter, castWriter

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

#33 - A few revisions to the CoMonad definition.

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

#32 - CoMonads

Pull Request - State: closed - Opened by vzaliva over 7 years ago - 8 comments
Labels: enhancement

#31 - MonadLaws are commented out

Issue - State: closed - Opened by vzaliva over 7 years ago - 20 comments

#30 - coq 8.6 support

Issue - State: closed - Opened by vzaliva over 7 years ago - 5 comments
Labels: enhancement

#29 - OPAM package lacks source files

Issue - State: closed - Opened by vzaliva almost 8 years ago - 4 comments

#28 - Respect COQBIN on calling coq_makefile (examples)

Pull Request - State: closed - Opened by JasonGross about 8 years ago - 2 comments

#27 - Respect COQBIN when calling coq_makefile

Pull Request - State: closed - Opened by JasonGross about 8 years ago - 1 comment

#26 - Add missing type annotation.

Pull Request - State: closed - Opened by ejgallego over 8 years ago - 3 comments

#25 - set up documentation generation

Issue - State: open - Opened by gmalecha over 8 years ago - 1 comment
Labels: documentation, Stale

#24 - coqdoc

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

#23 - universe inconsistency

Issue - State: closed - Opened by vzaliva over 8 years ago - 14 comments
Labels: universes

#22 - Compilation broken in git branch v8.5

Issue - State: closed - Opened by ejgallego over 8 years ago - 5 comments

#21 - WriterMonad

Issue - State: closed - Opened by vzaliva over 8 years ago - 3 comments
Labels: wontfix

#20 - State game example

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

#19 - Simple example of using StateMonad.

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

#18 - new 0.9.X release to update OPAM package

Issue - State: closed - Opened by vzaliva over 8 years ago - 6 comments

#17 - Macos coq8.4 build

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

#16 - Fix typo

Pull Request - State: closed - Opened by bmsherman over 8 years ago

#15 - OPAM installation instructions

Pull Request - State: closed - Opened by clarus almost 9 years ago - 2 comments

#14 - Breaking changes in Coq 8.5~beta3

Issue - State: closed - Opened by clarus almost 9 years ago - 3 comments

#13 - ascii_cmp reads bits in reverse order

Issue - State: closed - Opened by mmalvarez almost 9 years ago - 2 comments
Labels: bug

#12 - Use primitive projections for everything

Issue - State: open - Opened by gmalecha almost 9 years ago
Labels: enhancement, Stale

#11 - Declare universe polymorphic types

Issue - State: open - Opened by gmalecha almost 9 years ago
Labels: enhancement, Stale

#10 - Use Universe Polymorphism

Issue - State: open - Opened by gmalecha almost 9 years ago - 1 comment
Labels: enhancement, Stale

#9 - There is too much shadowing of standard modules

Issue - State: closed - Opened by jwiegley almost 10 years ago - 4 comments

#8 - Bug fixes for conversions from integers to strings

Pull Request - State: closed - Opened by clarus almost 10 years ago - 1 comment

#7 - digit2ascii function bugged

Issue - State: closed - Opened by clarus almost 10 years ago - 1 comment

#6 - Installing shadows Coq Bool

Issue - State: closed - Opened by jldodds about 10 years ago - 1 comment
Labels: wontfix

#5 - Tutorial for Monadic Programming

Issue - State: open - Opened by gmalecha about 10 years ago - 1 comment
Labels: documentation, Stale

#4 - EqDec required in ExtLib.Data.Member

Issue - State: closed - Opened by gmalecha over 10 years ago - 1 comment
Labels: question

#3 - Build error on 8.4pl2

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

#2 - Shadow PositiveMap.t

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

#1 - N/A

Issue - State: closed - Opened by thinkmoore almost 12 years ago
Labels: enhancement

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