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.

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

Jump to bottom

Tracking issue: Essence features wanted for Randicheck #510

Open
6 tasks
TAswan opened this issue Nov 28, 2024 · 0 comments
Open
6 tasks

Tracking issue: Essence features wanted for Randicheck #510

TAswan opened this issue Nov 28, 2024 · 0 comments
Assignees
@niklasdewally @TAswan
Labels
area::rules Related to rewrite rules kind::feature New feature or request

Comments

@TAswan
Copy link
Contributor

TAswan commented Nov 28, 2024 •
edited by niklasdewally
Loading

  • Implement letting #512
  • Implement -> #511
  • Functions (alternatively what does the E' for this look like?)
  • Defined (attached to functions)
  • Branching on (not essential but nice to have)
  • Enums (also not essential, using integers is fine for current usecase)

@niklasdewally
@niklasdewally niklasdewally added area::rules Related to rewrite rules kind::feature New feature or request labels Nov 28, 2024
@niklasdewally niklasdewally changed the title Essence features wanted for Randi Tracking Issue: Essence features wanted for Randicheck Nov 28, 2024
@niklasdewally niklasdewally changed the title Tracking Issue: Essence features wanted for Randicheck Tracking issue: Essence features wanted for Randicheck Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@niklasdewally niklasdewally

@TAswan TAswan

Labels
area::rules Related to rewrite rules kind::feature New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@niklasdewally @TAswan