Heh, found this suspiciously dated post when googling for Haml BNF myself :)

FYI I'm looking at Python's BNF grammar - they use an INDENT .. DEDENT approach for modelling the indent level parsing in BNF. I'm going to give that approach a crack with Marpa.