Skip to content
This repository has been archived by the owner on Jan 10, 2023. It is now read-only.

Add arithmetic functions that relax bounds to accommodate the codomain. #8

Open
awpr opened this issue Nov 11, 2021 · 0 comments
Open

Add arithmetic functions that relax bounds to accommodate the codomain. #8

awpr opened this issue Nov 11, 2021 · 0 comments

Comments

@awpr
Copy link
Contributor

awpr commented Nov 11, 2021

add :: Fin n -> Fin m -> Fin (m+n-1) etc.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@awpr