Add Agda code for G53CFR course