dev #86
Closed
dev #86
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Currently with support for development / state management, and UI for properties only. This _should_ be enough to be confident in the general approach. We'll iterate from here.
Implement initial theorem pages
The list is mostly a placeholder for now
Only supports asserted traits for now; derived traits will be added in a future branch.
for extracted models
along with a number of other minor style tweaks
Thinking of layers components > models > types; components no longer directly depend on types anywhere.
to allow for modelling "found a contradiction". We don't currently _display_ that state though.
jamesdabbs
force-pushed
the
dev
branch
6 times, most recently
from
723e598
to
e65f2ff
Compare
configured per "environment". Use it to report errors on missing pages.
* Vendor dependencies (and remove unused ones) * Add a favicon * Fix missing links
|
Test summary
Run details
View run in Cypress Dashboard ➡️ This comment has been generated by cypress-bot as a result of this project's GitHub integration settings. You can manage this integration in this project's settings in the Cypress Dashboard |
and fix a timing bug it uncovered where clicking an example search before data loads doesn't re-render on data load.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is a potentially-long running branch. It should deploy to a staging instance of the viewer.