Skip to content

Issues: tcr/corollary

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

25 Open 20 Closed
25 Open 20 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Layout to brace expansion broken?
#71 opened Jul 8, 2017 by birkenfeld
Looking for maintainers for Corollary help wanted
#70 opened Jul 8, 2017 by tcr
Remove parser expression errors translation-error
#67 opened Jun 3, 2017 by tcr
Support generators translation-error
#66 opened Jun 3, 2017 by tcr
let-defined lambdas aren't combined. translation-error
#65 opened Jun 3, 2017 by tcr
Translate into pointful function translation-error
#64 opened Jun 3, 2017 by tcr
Lambda should parse ExprSpan as a body
#61 opened May 26, 2017 by tcr
1
const ()
#51 opened May 23, 2017 by tcr
2
Translate fat arrow defns into "where" clauses. translation-error
#50 opened May 23, 2017 by tcr
1
Handle infix operators correctly. translation-error
#48 opened May 23, 2017 by tcr
Handle return intelligently translation-error
#46 opened May 23, 2017 by tcr
let... in struct is not translated right translation-error
#45 opened May 23, 2017 by tcr
Handle @ signs in the middle of code translation-error
#40 opened May 23, 2017 by tcr
2
Print all where statements translation-error
#39 opened May 23, 2017 by tcr
1
Translate colons in case arms properly translation-error
#38 opened May 23, 2017 by tcr
1
Document strategy for Lexer.hs and Parser.hs
#37 opened May 23, 2017 by tcr
How can you match on an empty array? translation-error
#33 opened May 23, 2017 by tcr
3
Convert if ... else ... expressions to Rust equivalent translation-error
#29 opened May 23, 2017 by tcr
1
Use ghc-mod for inferring function types question
#28 opened May 22, 2017 by tcr
1
Is laziness needed? question
#17 opened May 16, 2017 by pshc
Monadic code transformation
#16 opened May 16, 2017 by pshc
2
View patterns transformation
#15 opened May 16, 2017 by pshc
Modules
#12 opened May 15, 2017 by tcr
expr_explode doesn't take into account operator precedence
#4 opened May 12, 2017 by tcr
3
Output is built up quadratically
#3 opened May 12, 2017 by pshc
2
ProTip! Follow long discussions with comments:>50.