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