The Pie language is a dependently-typed language vaguely similar to scheme. The language was designed to accompany the book The Little Typer.
