Skip to content

Commit

Permalink
Added cardinality
Browse files Browse the repository at this point in the history 
Added Num (NumSpec fn Integer) and Num (Spec fn Int) instances.
Added Num (NumSpec Integer) tests
  • Loading branch information
@TimSheard
TimSheard committed Mar 7, 2024
1 parent 8926b67 commit 50df72d
Show file tree
Hide file tree
Showing 6 changed files with 342 additions and 167 deletions.

0 comments on commit 50df72d

Please sign in to comment.