feat: Implement subtypes #37

glen · 2022-07-30T12:02:23Z

glen commented

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.

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

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.

glen merged commit 6775b66686 into main

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

glen referenced this issue from a commit

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

Merge pull request 'feat: Implement subtypes' (#37) from subtypes into main

glen deleted branch subtypes

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

Sign in to join this conversation.

No reviewers