Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Proposal to move project coq-show to coq-community #102

Closed
liyishuai opened this issue May 27, 2020 · 2 comments
Closed

Proposal to move project coq-show to coq-community #102

liyishuai opened this issue May 27, 2020 · 2 comments
Labels
coq-library move-project Move a project to coq-community.

Comments

@liyishuai
Copy link
Member

liyishuai commented May 27, 2020 •
edited by Zimmi48
Loading

Project name: coq-show

Initial author(s):

Current URL: https://github.com/liyishuai/coq-show

Kind: pure Coq library

License: BSD 3-Clause "New" or "Revised" License

Description: A clone of the Show class in Haskell.

Status: New repository, picked from https://github.com/QuickChick/QuickChick/blob/master/src/Show.v

Motivation:

New maintainer:
@liyishuai liyishuai added move-project Move a project to coq-community. coq-library labels May 27, 2020
@Zimmi48
Copy link
Member

Zimmi48 commented May 27, 2020

Discussion on this proposal is currently happening at QuickChick/QuickChick#168 (comment). It seems that there is some risk of redundancy between coq-show and coq-ceres.

@liyishuai
Copy link
Member Author

After discussion with @Lysxia we agree that the current coq-show seems redundant given coq-ceres. Closing until notable changes are made.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
coq-library move-project Move a project to coq-community.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Zimmi48 @liyishuai