Create deBruijn.agda