agda-mode

英文: How to write a function that returns the bottom type? 问题 我正在阅读PLFA书籍，已经到达否定部分，并好奇是否可以实现一个返回底部类型的...