Skip to content

Add sanity check for implications - #289

Merged
ScriptRaccoon merged 2 commits into
mainfrom
some-checks
Jul 14, 2026
Merged

Add sanity check for implications#289
ScriptRaccoon merged 2 commits into
mainfrom
some-checks

Conversation

@ScriptRaccoon

@ScriptRaccoon ScriptRaccoon commented Jul 14, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

This small PR completes two small TODOs from my list:

  1. better-sqlite3 and katex were only dev dependencies so far; I wonder why this has worked in production at all. They are now full dependencies.
  2. It is checked in the seed script that every implication has at least one assumption and at least one conclusion.

@ScriptRaccoon
ScriptRaccoon merged commit ab9e0c3 into main Jul 14, 2026
2 checks passed
@ScriptRaccoon
ScriptRaccoon deleted the some-checks branch July 14, 2026 20:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

feature refactor

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ScriptRaccoon