times
gapt.examples.church_numerals.times
object times
Multiplication of Church numerals. Does not check if the input is a church numeral.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
times.type
Members list
In this article