Skip to content
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

Refined Types #22

Closed
AdrianBajraktari opened this issue Dec 10, 2021 · 1 comment
Closed

Refined Types #22

AdrianBajraktari opened this issue Dec 10, 2021 · 1 comment
Labels
dsl 🗒️ Issues regarding the domain specific programming language duplicate This issue or pull request already exists enhancement 💡 New feature or request

Comments

@AdrianBajraktari
Copy link

AdrianBajraktari commented Dec 10, 2021

  • Integer with ranges
  • Float with ranges
@lars-reimann lars-reimann added the enhancement 💡 New feature or request label Dec 17, 2021
@lars-reimann lars-reimann transferred this issue from another repository Jun 7, 2022
@lars-reimann lars-reimann removed the status in Safe-DS Nov 9, 2022
@lars-reimann lars-reimann removed this from Safe-DS Nov 9, 2022
@lars-reimann lars-reimann added the dsl 🗒️ Issues regarding the domain specific programming language label Feb 7, 2023
@lars-reimann lars-reimann moved this to Backlog in DSL Mar 7, 2023
@lars-reimann lars-reimann added this to DSL Mar 7, 2023
@lars-reimann lars-reimann added the wontfix This will not be worked on label Oct 30, 2023
@lars-reimann
Copy link
Member

Duplicate of #34.

@lars-reimann lars-reimann closed this as not planned Won't fix, can't repro, duplicate, stale Oct 30, 2023
@github-project-automation github-project-automation bot moved this from Backlog to ✔️ Done in DSL Oct 30, 2023
@lars-reimann lars-reimann added duplicate This issue or pull request already exists and removed wontfix This will not be worked on labels Nov 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dsl 🗒️ Issues regarding the domain specific programming language duplicate This issue or pull request already exists enhancement 💡 New feature or request
Projects
Archived in project
Development

No branches or pull requests

2 participants