Cockx, J., Nuyts, A., & Van Strydonck, T. agda-sessions [Computer software]. https://github.com/anuyts/agda-sessions