Skip to content

Instantly share code, notes, and snippets.

View jvdp's full-sized avatar

Jaap van der Plas jvdp

  • NL
View GitHub Profile
@jvdp
jvdp / gist:3880020
Created October 12, 2012 16:12
really big tree
> t = tree.grow(m[,1:8], m[,9], 31, 2)
> tree.print(t)
Node: (500|268) { bestI: 2, bestS: 127.5 }
Node: (391|94) { bestI: 8, bestS: 28.5 }
Node: (248|23) { bestI: 6, bestS: 45.3 }
Node: (247|20) { bestI: 6, bestS: 30.9 }
Node: (149|2) { bestI: 1, bestS: 6.5 }
Node: (148|1) { bestI: 7, bestS: 0.666 }
Leaf: (130|0)
Leaf: (18|1)
# Additional translations at http://github.com/plataformatec/devise/wiki/I18n
nl:
errors:
messages:
expired: "is verlopen, vraag een nieuwe aan"
not_found: "niet gevonden"
already_confirmed: "is reeds bevestigd"
not_locked: "is niet gesloten"
not_saved:
@jvdp
jvdp / keybase.md
Created October 24, 2014 22:14
keybase.md

Keybase proof

I hereby claim:

  • I am jvdp on github.
  • I am jvdp (https://keybase.io/jvdp) on keybase.
  • I have a public key whose fingerprint is 9DEB 9F9C A0E2 19C8 0119 FD72 54E8 F8B6 2C0A 6D77

To claim this, I am signing this object:

let lessThan = https://prelude.dhall-lang.org/Natural/lessThan
let stepper = ./stepper.dhall
in stepper.askText
"What is your name?"
( λ(name : Text)
→ stepper.askNatural
"How old are you?"
( λ(age : Natural)