some docs agdaparser