Merge branch 'repl-to-functional' of github.com:henrikz/ted into repl-to-functional
Merge branch 'repl-to-functional' of github.com:henrikz/ted into repl-to-functional