Archive Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
University
❯
1. Glossary
❯
Arity
Arity
Properties
2
tags
module4ccs1fc1
,
topicfunctions
,
typedefinition
aliases
arity
Jun 18, 2026
1 min read
Arity
is the
number of arguments or operands
taken by a function.
Graph View
Backlinks
Polyadic Predicate
3. Some useful functions
4. Call-by-name evaluation, types, and typing