glen
/
pocomath
2
1
Fork 0
Code Issues 3 Pull Requests Projects Releases Wiki Activity

feat: Implement subtypes #37

Merged
glen merged 1 commits from subtypes into main 2022-07-30 12:02:46 +00:00
Conversation 0 Commits 1 Files Changed 35 +294 -43

1 Commits

Author SHA1 Message Date
Glen Whitney c429c19dfe feat: Implement subtypes 
This should eventually be moved into typed-function itself, but for
  now it can be implemented on top of the existing typed-function.

  Uses subtypes to define (and error-check) gcd and lcm, which are only
  defined for integer arguments.

  Resolves #36.
 2022-07-30 04:59:04 -07:00