changed agda code font size and wrapped/reduced lots of code, more bearable now