Gofer (phần mềm)

Bài viết này cần thêm liên kết tới các bài bách khoa khác để trở thành một phần của bách khoa toàn thư trực tuyến Wikipedia. Xin hãy giúp cải thiện bài viết này bằng cách thêm các liên kết có liên quan đến ngữ cảnh trong văn bản hiện tại. (tháng 7 2018) (Tìm hiểu cách thức và thời điểm xóa thông báo này)

Bài viết này là một bài mồ côi vì không có bài viết khác liên kết đến nó. Vui lòng tạo liên kết đến bài này từ các bài viết liên quan; có thể thử dùng công cụ tìm liên kết. (tháng 7 2018)

Gofer ("Good For Equational Reasoning") là một trong các phần mềm được phát triển từ ngôn ngữ lập trình Haskell. Ngôn ngữ được sử dụng cho các mục đích giáo dục và hỗ trợ một ngôn ngữ dựa trên phiên bản 1.2 của tài liệu Haskell. Nó đã được thay thế bằng Hugs.[1] Lưu trữ 2009-03-19 tại Wayback Machine

Tải về Gofer

[sửa | sửa mã nguồn]

cho máy tính x86: Gofer của Mark Jones
cho hệ điều hành Risc: Trang hệ điều hành kiểu RISC của Gavin Wraith Lưu trữ 2007-02-05 tại Wayback Machine

Tham khảo

[sửa | sửa mã nguồn]

Bài viết liên quan đến điện toán này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

Bài viết liên quan

Cẩm nang phản ứng nguyên tố trong Genshin Impact

Cùng tìm hiểu về cơ chế phản ứng nguyên tố trong Genshin Impact

11/7/2021 9:02:54 PM 1,770

Yuki Tsukumo có thể đấm bay thực tại?

Tìm hiểu về “sunyata” hay “Hư không” dựa trên khái niệm cơ bản nhất thay vì khai thác những yếu tố ngoại cảnh khác ( ví dụ như hiện tượng, tôn giáo, tâm thần học và thiền định)

12/26/2023 7:29:25 PM 544

Giới thiệu nhân vật Yuri Alpha Overlord

Yuri Alpha (ユリ・アルファ, Yuri ・ α) là đội phó của "Pleiades Six Stars", đội chiến hầu của Lăng mộ vĩ đại Nazarick. Cô được tạo ra bởi Yamaiko, một trong ba thành viên nữ của Ainz Ooal Gown

1/20/2025 5:03:42 PM 2,635

Giới thiệu các Tộc và Hệ trong Yugioh

Trong thế giới bài Yu - Gi- Oh! đã bao giờ bạn tự hỏi xem có bao nhiêu dòng tộc của quái thú, hay như quái thú được phân chia làm mấy thuộc tính

10/18/2023 10:12:38 AM 470