Skip to content

Issues: cedille/cedille

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

39 Open 80 Closed
39 Open 80 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

Can't apply erased arguments to kinds imported from parametrized module
#163 opened Jan 11, 2022 by ionathanch
1
cedille doesn't compile with agda 2.6.2
#162 opened Jul 14, 2021 by sternenseemann
3
Default options file written to ~/.cedille/options is no longer correct bug Something isn't working
#158 opened Sep 24, 2020 by ahubers
@ahubers
Cedille is not enforcing erasure requirements for constructor arguments in pattern-matching clauses
#152 opened Mar 30, 2020 by amarmaduke
Cedille Core Elaboration Bug with Phi
#151 opened Mar 30, 2020 by amarmaduke
@amarmaduke
1
Create a tutorial document for learning Cedille
#148 opened Feb 26, 2020 by astump
@astump
Add a simple system for tracing messages
#146 opened Feb 17, 2020 by astump
@cwjnkins
Check performance cost of calls to is-free in classify
#145 opened Feb 17, 2020 by astump
@cantora
6
Allow import M as _ good first issue Good for newcomers
#139 opened Jan 15, 2020 by astump
cleanup the Makefile for the parser good first issue Good for newcomers
#138 opened Jan 14, 2020 by astump
Unable to build with stack
#137 opened Dec 30, 2019 by rgrinberg
1
Show user when let-bound variable is not used enhancement New feature or request
#135 opened Dec 20, 2019 by astump
1
Options (from options file) should take effect in order good first issue Good for newcomers
#134 opened Dec 19, 2019 by astump
Highlighting a pattern should show its type
#119 opened Sep 26, 2019 by astump
@stephanalexanderspahn
Need some way to initialize the datatype-encoding setting in .cedille/options
#112 opened Aug 12, 2019 by astump Release-1.2
Implement mutually recursive datatypes
#103 opened Jul 29, 2019 by astump Release-1.2
@astump
Figure out how to profile our Agda code
#100 opened Jul 1, 2019 by astump
2
Add axioms for finer-grained equational reasoning
#98 opened Jul 1, 2019 by astump
1
Recognize parallel datatypes with args type-level equality proposal A feature / fix that requires some internal discussion.
#97 opened Jun 27, 2019 by colin-mcd
@colin-mcd
1
Consider adding a global definition that can only be used in erased positions
#96 opened Jun 7, 2019 by astump
Erased module parameters interfering with motive refinement help wanted Extra attention is needed
#91 opened Jun 4, 2019 by colin-mcd
@colin-mcd
Could we allow overloading of constructors? proposal A feature / fix that requires some internal discussion.
#90 opened May 29, 2019 by astump
Can we cast from datatype A to datatype B when A embeds into B? proposal A feature / fix that requires some internal discussion.
#89 opened May 29, 2019 by astump
1
Improve Synthesizing Iota Pair enhancement New feature or request
#85 opened Apr 22, 2019 by colin-mcd
How can I use it without emacs?
#79 opened Apr 6, 2019 by xgrommx
2
ProTip! Mix and match filters to narrow down what you’re looking for.