Skip to content

Issues: dada-lang/dada

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
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

Issues list

[Language] class implementation
#237 opened Aug 7, 2024 by igotfr
insufficient contrast for links on website good first issue Good for newcomers help wanted Extra attention is needed
#235 opened Mar 13, 2024 by programmerjake
Typed Dada
#219 opened Oct 6, 2022 by nikomatsakis
2 of 9 tasks
Refactoring: anchored spans
#212 opened Sep 22, 2022 by nikomatsakis
The span where the error occurs is not displayed correctly in the Playground bug Something isn't working playground Dada playground tasks (often involve JS/HTML/CSS)
#188 opened May 17, 2022 by xffxff
Question: How to treat trailing whitespace when stripping margins question Further information is requested
#180 opened May 14, 2022 by nikomatsakis
raw strings enhancement New feature or request
#179 opened May 12, 2022 by nikomatsakis
decide how handle (expr,)
#177 opened May 11, 2022 by vemoo
modal harmony
#159 opened Apr 18, 2022 by nikomatsakis
3 of 4 tasks
question: scheme-like identifiers question Further information is requested
#156 opened Mar 27, 2022 by nikomatsakis
render HeapGraph in ASCII art for test harness enhancement New feature or request
#150 opened Mar 3, 2022 by nikomatsakis
Question: parsing operators and newlines question Further information is requested
#134 opened Feb 18, 2022 by nikomatsakis
Question: naming conventions question Further information is requested
#133 opened Feb 13, 2022 by nikomatsakis
which web editor to use? help wanted Extra attention is needed playground Dada playground tasks (often involve JS/HTML/CSS) question Further information is requested
#131 opened Feb 12, 2022 by nikomatsakis
lint for shadowing live variables enhancement New feature or request
#124 opened Feb 11, 2022 by nikomatsakis
Use total ordering for floats? question Further information is requested
#123 opened Feb 10, 2022 by brson
allow clicking on labels in error messages to be taken to that point-in-time enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)
#121 opened Feb 9, 2022 by nikomatsakis
spans for cancelled permission errors etc are not great bug Something isn't working
#120 opened Feb 9, 2022 by nikomatsakis
+= desugars wrong bug Something isn't working
#113 opened Feb 8, 2022 by nikomatsakis
ProTip! Type g i on any issue or pull request to go back to the issue listing page.