-
Notifications
You must be signed in to change notification settings - Fork 11
Issues: gelisam/klister
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
ambient effects
examples
Ideas for cool things to implement in Klister to show off the language
#253
opened Oct 10, 2024 by
gelisam
union errors
examples
Ideas for cool things to implement in Klister to show off the language
#248
opened Jun 30, 2024 by
gelisam
type-literals for the later phase
enhancement
New feature or request
#244
opened Jun 25, 2024 by
gelisam
distinguish between our bugs and the user's bugs
error-messages
improve the error messages
#237
opened Apr 21, 2024 by
gelisam
Klister custom type systems
discussion
documentation
Improvements or additions to documentation
enhancement
New feature or request
#232
opened Mar 5, 2024 by
gelisam
Slow tests are slow because of poor branch prediction
performance
#230
opened Feb 25, 2024 by
doyougnu
explain the limits of the type system
discussion
documentation
Improvements or additions to documentation
examples
Ideas for cool things to implement in Klister to show off the language
#228
opened Jan 31, 2024 by
gelisam
Add Bit operations and literals
enhancement
New feature or request
examples
Ideas for cool things to implement in Klister to show off the language
#220
opened Aug 7, 2023 by
doyougnu
generic programming via type-case
enhancement
New feature or request
#218
opened Aug 5, 2023 by
gelisam
Comparison with other meta programming approach?
documentation
Improvements or additions to documentation
#217
opened Aug 2, 2023 by
glyh
Set of problems should be open-ended
enhancement
New feature or request
#216
opened Jul 28, 2023 by
gelisam
Randomize the task queue at every iteration
good first issue
Good for newcomers
refactoring
An implementation change with no effect on Klister programs
#214
opened Mar 24, 2023 by
gelisam
merge non-examples and failing-examples
good first issue
Good for newcomers
#213
opened Mar 8, 2023 by
gelisam
Previous Next
ProTip!
Updated in the last three days: updated:>2024-10-27.