caryoscelus/agda

作者	SHA1 备注	提交日期
Fredrik Nordvall Forsberg	a50ff581f3 [ #2487 ] consistency checking of options	5 年之前
Andreas Abel	6243a9136f [ testsuite ] Added Common.Maybe, also to Prelude.	8 年之前