Skip to content

Instantly share code, notes, and snippets.

Avatar

Adrian Duong aduong

View GitHub Profile
View pgp_key_transition.asc
-----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
View keybase.md

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:

View recursion.scala
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)