-
Notifications
You must be signed in to change notification settings - Fork 11
Issues: cucapra/gator
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Or Types
enhancement
New feature or request
wontfix
This will not be worked on
#99
opened Apr 17, 2020 by
liuhenry4428
First Class Functions
enhancement
New feature or request
help wanted
Extra attention is needed
#89
opened Apr 8, 2020 by
Checkmate50
Parameterizing Schemes by Frame Dimension
enhancement
New feature or request
help wanted
Extra attention is needed
#85
opened Apr 3, 2020 by
Checkmate50
Declare Function Statement Detecting Undefined Types
bug
Something isn't working
#83
opened Apr 3, 2020 by
pauljoo28
Add Support for Existential Types for Managing Generic Declarations
enhancement
New feature or request
#81
opened Apr 3, 2020 by
pauljoo28
Scientific Notation
enhancement
New feature or request
good first issue
Good for newcomers
testing
requires update to the testing framework
#79
opened Apr 2, 2020 by
Checkmate50
Update VSCode Extension
good first issue
Good for newcomers
#64
opened Oct 24, 2019 by
Checkmate50
8 tasks
Require Canonical Transformations To Be Unique Under Subsumption
testing
requires update to the testing framework
#50
opened Feb 27, 2019 by
Checkmate50
Benchmarking ✔️
examples
involves updating graphics examples
#40
opened Feb 13, 2019 by
euisuny
23 of 36 tasks
.cache/ Invalidation
examples
involves updating graphics examples
#29
opened Nov 30, 2018 by
euisuny
Improve error handling ⚠️
good first issue
Good for newcomers
#24
opened Oct 28, 2018 by
euisuny
2 of 5 tasks
Less than
bug
Something isn't working
help wanted
Extra attention is needed
#22
opened Oct 22, 2018 by
Checkmate50
ProTip!
Add no:assignee to see everything that’s not assigned.