runarorama/lambda — pull request #4 by tpolecat (2014-07-24 01:53:13+00:00)
Title: de Bruijn indexing + typer

Ok here's mine. I don't write much Haskell so I'd be happy to get feedback.