aduong

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

2016-03-26

For a number of reasons, I've recently set up a new OpenPGP key, and
will be transitioning away from my old one.

The old key will continue to be valid for some time, but I prefer all
future correspondence to come to the new one.  I would also like this

aduong

Keybase proof

I hereby claim:

• I am aduong on github.
• I am aduong (https://keybase.io/aduong) on keybase.
• I have a public key whose fingerprint is 83EE 4A9A 47B0 E6E6 C6E7 4E6A 17FB FE51 7569 E11A

To claim this, I am signing this object:

aduong

object Recursion {

  case class Nat(n: Int) extends Ordered[Nat] {
    require(n >= 0)

    def toInt = n

    def +(that: Nat): Nat = Nat(n + that.n)
    def -(that: Nat): Nat = Nat(n - that.n)
    def *(that: Nat): Nat = Nat(n * that.n)