Skip to content

Commit

Permalink
Pass down a checker to Poset.add.
Browse files Browse the repository at this point in the history
  • Loading branch information
@Drup @FardaleM
Drup authored and FardaleM committed Oct 28, 2024
1 parent 4f799d9 commit 7f239a1
Show file tree
Hide file tree
Showing 3 changed files with 172 additions and 168 deletions.
Loading

0 comments on commit 7f239a1

Please sign in to comment.