Packages

object Nats

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Nats
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. val N: LazyList[Term]
  2. val Nat: Typ[Term]
  3. val NatInd: ConstructorSeqTL[::[HNil, ::[::[FuncConsShape.type, HNil], HNil]], Term, ::[Term, ::[Func[Term, Term], HNil]]]
  4. val ack: Func[Term, Func[Term, Term]]
  5. val ackm: Func[Term, Term]
  6. val ackmp1n: Term
  7. val add: Func[Term, Func[Term, Term]]
  8. val addn: Func[Term, Term]
  9. val double: Func[Term, Term]
  10. val m: Term
  11. val n: Term
  12. val recNN: Func[Term, Func[Func[Term, Func[Term, Term]], Func[Term, Term]]]
  13. val recNNN: Func[Func[Term, Term], Func[Func[Term, Func[Func[Term, Term], Func[Term, Term]]], Func[Term, Func[Term, Term]]]]
  14. val succ: Func[Term, Term]
  15. lazy val sumTo: Func[Term, Term]
  16. val zero: Term