Agda中的条件编译

Question

如何针对标准库的多个版本编写Agda代码？

例如，Data.Maybe.IsJust已重命名为Data.Maybe.Is-just。同样，Data.Fin.Props正在转移到Data.Fin.Properties。遗憾的是，投入很少的工作来保持向后兼容性，因此即使针对相邻版本也很难实现。将cpp作为预处理程序运行的常规选项很不方便，因为它们会破坏emacs agda2-mode。