6Nhiệt
1Trả lời
11Nhiệt
1Trả lời
Mô hình hóa các đơn nguyên ST trong Agda
6Nhiệt
1Trả lời
Làm thế nào để xác định số thực trong agda?
7Nhiệt
1Trả lời
Dịch vụ GAE XMPP có hoạt động với Hangout/G + ngay hôm nay để triển khai Chatbot không?
5Nhiệt
1Trả lời
Trợ lý bằng chứng cho toán học chỉ
5Nhiệt
2Trả lời
Cơ chế phát sinh Haskell cho Agda
11Nhiệt
3Trả lời
Làm thế nào tôi có thể thiết lập một sự đánh dấu giữa một cái cây và sự di chuyển của nó?
5Nhiệt
1Trả lời
Làm thế nào Agda xác định một loại là không thể
5Nhiệt
1Trả lời
Các loại bị xóa trước thời gian chạy
5Nhiệt
2Trả lời
Nếu hai điều không bằng nhau, chúng có bình đẳng không?