And for a more theoretical, less interactive picture, here's a video of Noah Goodman, one of the creators of Church, at a Google tech talk discussing the langua

And for a more theoretical, less interactive picture, here's a video of Noah Goodman, one of the creators of Church, at a Google tech talk discussing the language's philosophical foundations and showing a bunch of applications in cognitive science/psychology. https://www.youtube.com/watch?v=fclvsoaUI-U https://www.youtube.com/watch?v=fclvsoaUI-U