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

2
Luật cho loại [[a]] -> ([a], [a])
Tôi đang cố gắng làm câu hỏi này từ bài tập về nhà của tôi: Cho tùy ý foo :: [[a]] -> ([a], [a]), viết ra một luật mà hàm foothỏa mãn, liên quan đến mapdanh sách và cặp. Một số bối cảnh: Tôi là sinh viên năm thứ nhấ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 cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.