Resolved darcs conflict in Idris.AbsSyntax
Resolved darcs conflict in Idris.AbsSyntax

Ignore-this: a8186236e4199850938d9ff0ca481544

darcs-hash:20091117100012-76e6d-44453c2f34fd471564241004362cbfe785a350d9.gz

avsm/Idris