Programming Language Theory Flashcard
What are some representations for natural numbers? what did we choose in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What are some representations for natural numbers? what did we choose in rocq?
Answer
Unary representation. -> Church numeral.
Decimal representation.
Hexadecimal representation.
Octal representation.
Binary representation.