DanBurton

- Cartesian # bounds: lens
- HaRe # via: cabal-helper, ghc-mod, rosezipper
- MASMGen # bounds: ghc, base
- Michelangelo # bounds: lens # via: Wavefront
- Spock-digestive # via: digestive-functors
- TaxonomyTools # build failure
- aeson-schema # bounds: QuickCheck, aeson # compilation failure for 0.4.1.1
- agda-snippets # bounds: ghc, base
- agda-snippets-hakyll # bounds: ghc, base
- agentx # bounds: ghc, base

DanBurton

Keybase proof

I hereby claim:

• I am danburton on github.
• I am danburton (https://keybase.io/danburton) on keybase.
• I have a public key ASB6oUatP8vG6qqfHwAyVlCixPOub2U3XEXzoUpi9Yvewwo

To claim this, I am signing this object:

DanBurton

(define-type (Tree a) (U (leaf a) (node a)))
(struct: (a) leaf ([val : a]))
(struct: (a) node ([left : (Tree a)] [right : (Tree a)]))

(: tree-height (All (a) ((Tree a) -> Integer)))
(define (tree-height t)
  (cond [(leaf? t) 1]
        [else (max (+ 1 (tree-height (node-left t)))
                   (+ 1 (tree-height (node-right t))))]))