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