Sergei Winitzki demystifies Elm

Sergei would like to share with us what he's learned about Elm, a language for Functional Reactive Programming (http://elm-lang.org). He'll also tell us how Elm relates to the pi calculus, and perhaps explain a bit of temporal logic -- watch this space for a more detailed synopsis.

Note that Mixrank has a new gate code: #1408.