Skip to content

Commit

Permalink
Merge pull request #141 from zacharybonagura/master
Browse files Browse the repository at this point in the history 
 Refactored method for loading rule tooltip images, new Equivalence sub category, adjacency generalization, updated quantifier parsing and split quantifier distribution
  • Loading branch information
@zacharybonagura
zacharybonagura authored Nov 28, 2024
2 parents 0151341 + 8e4e2c9 commit fcd1839
Show file tree
Hide file tree
Showing 16 changed files with 415 additions and 265 deletions.
76 changes: 38 additions & 38 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit fcd1839

Please sign in to comment.