Câu hỏi được gắn thẻ «haskell»


1
Curry Howard tương ứng với Dự đoán logic?
Vì vậy, tôi đang cố gắng để có được vòng đầu Curry-Howard. (Tôi đã thử nó nhiều lần, nó chỉ không gelling / có vẻ quá trừu tượng). Để giải quyết vấn đề cụ thể, tôi đang làm việc thông qua một vài hướng dẫn của Haskell được liên kết …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.