6Nhiệt
2Trả lời
đối số chiều dài Tiềm ẩn trong chiều dài cố định-vector-chức năng trong Agda
25Nhiệt
1Trả lời
5Nhiệt
1Trả lời
Thứ tự Lexicographic của các cặp/danh sách trong Agda sử dụng thư viện chuẩn
7Nhiệt
1Trả lời
12Nhiệt
1Trả lời
Các loại có chứa/viết lại mệnh đề trong agda, hoặc, cách sử dụng viết lại thay vì subst?
10Nhiệt
1Trả lời
20Nhiệt
2Trả lời
Sự khác biệt giữa các thông số loại và chỉ mục?
16Nhiệt
2Trả lời
5Nhiệt
1Trả lời
Agda: mã của tôi không gõ kiểm tra (làm thế nào để có được đối số ẩn phải không?)
7Nhiệt
3Trả lời
Cách lưu trữ và kiểm tra từ đồng nghĩa của chuỗi trong Java