caryoscelus/agda

作者	SHA1 备注	提交日期
Nils Anders Danielsson	95d4470c4c [ Issue 1109, Issue 1436 ] New default precedence level: unrelated.	9 年之前
ulfn	9e5b6c61d3 benchmarks for projection like functions (category example with data sigma and nested record sigma)	13 年之前