caryoscelus/agda

作者	SHA1 备注	提交日期
Nils Anders Danielsson	48473b335d An example that should arguably typecheck faster.	15 年之前
Nils Anders Danielsson	9e28c3ca62 Code which demonstrates poor performance for records.	15 年之前