All: I did talk with a Galois team member this week who is interested in the idea of a functional programming track at Debconf (and will discuss it with the larger team in Portland next week). In other news Galois has just released Cryptol as open source: https://twitter.com/acfoltzer/status/459407931096567808 Regards, --Tom