> ...and now I'm reading about Agda, a programming language which has> MELTED MY MIND! >_<
Idris is similar, with moderately less mind-meltation. Even so, all of
the documentation is clearly written for somebody already familiar with
the idea and just wanting to learn the actual syntax.
