feat: Implement subtypes #37

Merged
glen merged 1 commits from subtypes into main 2022-07-30 12:02:46 +00:00
Owner

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.

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.
glen added 1 commit 2022-07-30 12:02:23 +00:00
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.
glen merged commit 6775b66686 into main 2022-07-30 12:02:46 +00:00
glen deleted branch subtypes 2022-07-30 12:02:50 +00:00
Sign in to join this conversation.
No description provided.