Skip to content
This repository has been archived by the owner on Nov 17, 2020. It is now read-only.

Issues: antalsz/hs-to-coq

62 Open 85 Closed
62 Open 85 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

Derived Ord instances do a weird substitution
#176 opened Oct 27, 2020 by Lysxia
4
Skip types from a skipped module
#166 opened Oct 17, 2020 by Lysxia
Pattern synonyms
#164 opened Aug 28, 2020 by Lysxia
1
Code duplication in mutually recursive functions
#162 opened Aug 13, 2020 by trommler
Qualify modules under base
#158 opened May 30, 2020 by Lysxia
1
Don't include Makefile generated by Coq
#157 opened May 30, 2020 by Lysxia
Rename our provided modules from GHC.… to HsToCoq.… or similar
#155 opened May 13, 2020 by antalsz
GHC flags taken into account too late
#152 opened Mar 26, 2020 by nomeata
Universe polymorphism edits
#151 opened Mar 17, 2020 by lastland
8
What is the meaning of GHC.Err.patternFailure?
#150 opened Mar 9, 2020 by christinaburge
3
Coqc doesn't recognise !! operator
#149 opened Mar 5, 2020 by christinaburge
CI breaks because of the wc example
#147 opened Feb 20, 2020 by lastland
Cannot find a physical path bound to logical path matching suffix GHC.
#144 opened Feb 18, 2020 by christinaburge
20
Edit files without trailing line breaks parser
#143 opened Feb 13, 2020 by euisuny
Redefine does not work on default type class methods
#142 opened Feb 11, 2020 by lastland
The float_let tactic breaks with Coq 8.10.2
#139 opened Jan 11, 2020 by lastland
Use Equations instead of Program Fixpoint for termination
#138 opened Nov 20, 2019 by joscoh
4
rename value does not respect rename module
#137 opened Oct 9, 2019 by lastland
Add/redefine (axiomatized) instances for redefined types
#136 opened Jul 1, 2019 by sweirich
2
Automatically delete redundant cases/equations enhancement
#135 opened Jun 28, 2019 by antalsz
5
skip constructor: substUnfolding
#131 opened Jun 27, 2019 by sweirich
@antalsz
Termination edits for "Default" functions
#128 opened Jun 25, 2019 by sweirich
"Safe" axiomatization enhancement
#127 opened Jun 25, 2019 by sweirich
Better rewrite engine
#124 opened May 16, 2019 by antalsz
2
Error building base.
#123 opened May 15, 2019 by DavidFHCh
2
ProTip! no:milestone will show everything without a milestone.