nicer font
agda upgrade