Gofer (phần mềm)
Giao diện
Trang Mô đun:Message box/ambox.css không có nội dung.
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ỗi Lua trong package.lua tại dòng 80: module 'Module:Ngày chuẩn' not found.
Tải về Gofer
- 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ỗi Lua trong package.lua tại dòng 80: module 'Module:Ngày chuẩn' not found.
Tham khảo
Trang Bản mẫu:Tham khảo/styles.css không có nội dung.