Skip to content

Issues: owo-lang/narc-rs

Discussion
#2 opened Sep 27, 2019 by ice1000
Open 8
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

11 Open 23 Closed
11 Open 23 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

Reconsider LHS checking algorithm
#61 opened Oct 5, 2020 by ice1000
Verbosity levels cli Command line help wanted Extra attention is needed
#55 opened Dec 11, 2019 by ice1000
Use TCE with stacktrace & pos-col instead of unreachable!()s enhancement New feature or request error message That explains something wrong help wanted Extra attention is needed
#54 opened Dec 2, 2019 by ice1000
Smart emoji formatter cli Command line help wanted Extra attention is needed
#53 opened Dec 2, 2019 by ice1000
Named deBruijn variables enhancement New feature or request
#52 opened Dec 1, 2019 by ice1000
Implicit application parser Surface syntax
#46 opened Oct 14, 2019 by ice1000
Re-think about constructor and projection's telescope constructor Create datatype instances implicit Implicit variables projection Eliminate codata instances
#28 opened Oct 7, 2019 by ice1000
2
Check projections projection Eliminate codata instances
#18 opened Oct 4, 2019 by ice1000
Check codata declarations enhancement New feature or request
#16 opened Oct 4, 2019 by ice1000
@ice1000
Check application enhancement New feature or request
#14 opened Oct 4, 2019 by ice1000
Discussion invalid This doesn't seem right wontfix This will not be worked on
#2 opened Sep 27, 2019 by ice1000
8
ProTip! Updated in the last three days: updated:>2024-10-19.