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

[New Content]: link to planning.domains editor to allow people to live code #30

Open
nergmada opened this issue Feb 28, 2019 · 1 comment
Open

[New Content]: link to planning.domains editor to allow people to live code #30

nergmada opened this issue Feb 28, 2019 · 1 comment
Labels
Guide Anything to do with the guide section help wanted Extra attention is needed PDDL Anything to do with PDDL reference Additions to the reference

Comments

@nergmada
Copy link
Owner

New Content Proposal: Planning.domains editor behaves like a fiddle. We can integrate demo domains from the reference guides to allow users to hop in and use the domains

Section:
Reference & Guide
PDDL

Justification:
Because it's awesome
@nergmada nergmada added help wanted Extra attention is needed reference Additions to the reference PDDL Anything to do with PDDL Guide Anything to do with the guide section labels Feb 28, 2019
@haz
Copy link
Contributor

haz commented Jun 20, 2019

You just mean links to sessions with pre-loaded PDDL? We do this for the PDDL book, and it works quite well.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Guide Anything to do with the guide section help wanted Extra attention is needed PDDL Anything to do with PDDL reference Additions to the reference
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@haz @nergmada