caryoscelus/agda

作者	SHA1 备注	提交日期
ulfn	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	13 年之前