feat: Implement subtypes #37

Merged

glen merged 1 commit from subtypes into main

2022-07-30 12:02:46 +00:00

glen commented

2022-07-30 12:02:23 +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

feat: Implement subtypes c429c19dfe

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.