Skip to content

Issues: nfrisby/coxswain

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

14 Open 2 Closed
14 Open 2 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

Unexpected errors when extending by the same field twice
#16 opened Apr 11, 2018 by adamgundry
Cannot show mkR
#15 opened Apr 11, 2018 by adamgundry
2
GHC internal error: stg_ap_p_ret
#14 opened Oct 22, 2017 by mrkgnao
Stack overflow!
#13 opened Oct 22, 2017 by mrkgnao
3
Support eliminating a variant with a record of functions with non-fixed codomain
#12 opened Oct 22, 2017 by mrkgnao
2
Error messages mention unification (?) variables like $coxswainTau0
#11 opened Oct 21, 2017 by mrkgnao
3
Includes relation
#9 opened Sep 17, 2017 by nfrisby
Is activateGivens necessary/correct?
#8 opened Sep 16, 2017 by nfrisby
Add Lacks constraint to HasSomeCol
#7 opened Sep 16, 2017 by nfrisby
Is handsoff necessary?
#6 opened Sep 16, 2017 by nfrisby
Either justify the roundabout Ren approach or replace it with something simpler
#5 opened Sep 16, 2017 by nfrisby
Resolve the Col var story
#4 opened Sep 16, 2017 by nfrisby
Pin down Derived constraints help wanted
#2 opened Sep 16, 2017 by nfrisby
Avoid panics on contradictions involving restriction skolems
#1 opened Sep 16, 2017 by nfrisby
ProTip! Mix and match filters to narrow down what you’re looking for.