26Nhiệt
2Trả lời
140Nhiệt
2Trả lời
Sự khác biệt giữa Agda và Idris
21Nhiệt
1Trả lời
Tìm ra metas nào chưa được giải quyết trong chương trình Agda
12Nhiệt
1Trả lời
≡-Reasoning và 'with' patterns
8Nhiệt
3Trả lời
Cập nhật trạng thái Facebook thông qua php
13Nhiệt
1Trả lời
Các loại quy nạp được mô tả trong Agda
17Nhiệt
1Trả lời
Định nghĩa cho các tập hợp hữu hạn trong Agda
7Nhiệt
1Trả lời
Tránh đề xuất tính mở rộng khi xác định các hàm không đơn nhất trên các loại thương số
32Nhiệt
10Trả lời
Tôi có thể lập trình AI bot trò chuyện đơn giản như thế nào?
5Nhiệt
1Trả lời
tương đẳng cho bình đẳng heterogenous