Skip to content

Feature/more predicates#12

Merged
bglid merged 8 commits into
mainfrom
feature/more-predicates
Apr 30, 2026
Merged

Feature/more predicates#12
bglid merged 8 commits into
mainfrom
feature/more-predicates

Conversation

@bglid

@bglid bglid commented Apr 30, 2026

Copy link
Copy Markdown
Owner

Summary

Cleaned up .mli files and added docstring. Added more predicates to SELECT queries. Cleaned up documentation.

Changes

  • Added docstring to any .mli file missing it and cleaned up redundant code and messy comments
  • Added predicates < <= > >=, as well as test code.
  • Removed unused doc files in docs/, but added docs/commands.md
  • Added example usage to README.md

@bglid bglid marked this pull request as draft April 30, 2026 23:15
Adding metacommands
@bglid bglid marked this pull request as ready for review April 30, 2026 23:24
@bglid bglid merged commit b31d584 into main Apr 30, 2026
1 check passed
@bglid bglid deleted the feature/more-predicates branch April 30, 2026 23:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant