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 년 전