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:
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) |
I hereby claim:
To claim this, I am signing this object:
-----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 |