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

Improve deduced trait display #19

Open
jamesdabbs opened this issue Jun 7, 2014 · 0 comments
Open

Improve deduced trait display #19

jamesdabbs opened this issue Jun 7, 2014 · 0 comments
Labels
feature
Milestone
JMM

Comments

@jamesdabbs
Copy link
Owner

It'd be nice to have a diagram visualizing:

  • Root assumptions required for this trait (inc. theorems)
  • Direct assumptions for this trait
  • The trait itself
  • Traits deduced from the trait

with links for the various implications.
@jamesdabbs jamesdabbs added this to the JMM milestone Jun 18, 2014
@jamesdabbs jamesdabbs changed the title Improve deduced formula display Improve deduced trait display Jun 18, 2014
jamesdabbs added a commit that referenced this issue Jun 18, 2014
@jamesdabbs
Improve deduced trait display #19
c9a2f24 
This gets the HTML side to where it should be and starts implementing a
JSON endpoint that will eventually be used for a more interactive
display.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature
Projects
None yet
Milestone
JMM
Development

No branches or pull requests
1 participant
@jamesdabbs