We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
What question should the reference manual answer?
What are subtypes? How are they represented in compiled code?
The text was updated successfully, but these errors were encountered:
A suggestion of approach is giving example on doing recursion on ℕ+, subtype of ℕ
Sorry, something went wrong.
feat: Subtype
076e5eb
Closes #173
ce0c35d
Successfully merging a pull request may close this issue.
What question should the reference manual answer?
What are subtypes? How are they represented in compiled code?
The text was updated successfully, but these errors were encountered: