Skip to content

Issues: plclub/hs-to-coq

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

54 Open 135 Closed
54 Open 135 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

hs-to-coq translates GeneralizedNewtypeDeriving instances incorrectly
#206 opened Aug 28, 2024 by nosewings
GHC panic when building with stack
#204 opened Dec 7, 2022 by jaccokrijnen
Read edits in a locale-independent manner
#203 opened Sep 11, 2022 by Lysxia
add nix to ci
#201 opened Nov 3, 2021 by quinn-dougherty
2
idea: people with experience write an index of module strategies
#198 opened Nov 2, 2021 by quinn-dougherty
idea: migrate examples directory to a hs-to-coq registry of supported modules
#197 opened Nov 2, 2021 by quinn-dougherty
streamline, standardize, and tutorialize the process of adding an example to examples
#196 opened Nov 2, 2021 by quinn-dougherty
1
proper usage of --import-dir, or; how to use hs-to-coq on codebases with imports
#195 opened Oct 23, 2021 by quinn-dougherty
8
Skip types from a skipped module
#166 opened Nov 3, 2020 by lastland
Pattern synonyms
#164 opened Nov 3, 2020 by lastland
1
Code duplication in mutually recursive functions
#162 opened Nov 3, 2020 by lastland
GHC flags taken into account too late
#152 opened Nov 3, 2020 by lastland
2
Universe polymorphism edits
#151 opened Nov 3, 2020 by lastland
8
CI breaks because of the wc example
#147 opened Nov 3, 2020 by lastland
Redefine does not work on default type class methods
#142 opened Nov 3, 2020 by lastland
Use Equations instead of Program Fixpoint for termination
#138 opened Nov 3, 2020 by lastland
5
rename value does not respect rename module
#137 opened Nov 3, 2020 by lastland
Add/redefine (axiomatized) instances for redefined types
#136 opened Nov 3, 2020 by lastland
2
Automatically delete redundant cases/equations enhancement New feature or request
#135 opened Nov 3, 2020 by lastland
5
skip constructor: substUnfolding
#131 opened Nov 3, 2020 by lastland
Termination edits for "Default" functions
#128 opened Nov 3, 2020 by lastland
"Safe" axiomatization enhancement New feature or request
#127 opened Nov 3, 2020 by lastland
Better rewrite engine
#124 opened Nov 3, 2020 by lastland
2
Add type definitions edit, including axioms
#117 opened Nov 3, 2020 by lastland
Rewrite for types
#115 opened Nov 3, 2020 by lastland
ProTip! Type g i on any issue or pull request to go back to the issue listing page.