Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. PetitLambda
  5. Download

PetitLambda 0.1

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

Về PetitLambda

Một thông dịch viên của tính toán lambda. Nó cho thấy quá trình giảm các thuật ngữ lambda. Một số chiến lược đánh giá được hỗ trợ. Định dạng đầu ra có thể được chọn từ LaTex, văn bản thuần túy.

Các chương trình liên quan

  • UK Bank Holidays Dùng thử miễn phí

    Xem và thêm ngày lễ ngân hàng Vương quốc Anh vào lịch của bạn chỉ bằng một cú nhấp chuột, đặt lời nhắc và hơn thế nữa! Không cần kết nối dữ liệu!Ứng dụng này hiển thị ngày và thông tin về các ngày lễ ngân hàng ở Vương quố

  • YAams Miễn phí

    YAams - Tuy nhiên, một hệ thống sản xuất tiên tiến khác - YAams là một trình soạn thảo để tạo ra Trò chơi 2D mà không có bất kỳ kiến thức lập trình nào. Witten của nó trong Java & pluginable

  • Ant Quick Start Guide for DITA-OT Miễn phí

    Phiên bản GA/RTM của hướng dẫn này đã được phát hành lại theo giấy phép Apache 2.0 và Common Public License 1.0 và được tặng cho dự án DITA Open Toolkit, phiên bản 1.5.2. Tôi đang tích cực duy trì nó ở đó và hỗ trợ dita XML á

  • Tree Lock Screen Miễn phí

    Đây là một ứng dụng khóa màn hình mới và đặc biệt cho Android. Không khóa, không mật khẩu và không quét vân tay trong công cụ mở khóa này. Một cây thùng carton là cánh cửa để điện thoại của bạn. Câu hỏi thường gặp:1. Làm thế

  • C-pretter Miễn phí

    Dự án của tôi và một nhóm bạn sẽ được gọi là & C-pretter & quot;. Nó sẽ liên quan đến việc tạo ra các thông dịch viên của C ++ trong ngôn ngữ Delphi. Phiên bản đầu tiên của dự án này sẽ liên quan đến các yếu tố của ng

  • wxWindows Project Manager for VC7 Miễn phí

    Một tập hợp các công cụ để đơn giản hóa việc sử dụng wxWindows với Visual C ++ 7.

  • SPACS Miễn phí

    SPACS là một phần mở rộng cho Macromedia / Adobe Flash tự động tạo hướng dẫn flash. Sử dụng bảng ĐIỀU KHIỂN SPACS, người dùng gửi một chuỗi các hình ảnh, xác định các điểm nóng kích hoạt các bộ câu hỏi / câu trả lời và xuất r

  • DistccTracker Miễn phí

    Một trình theo dõi máy chủ Distcc dựa trên Java. Cho phép khách hàng dễ dàng và không đau đớn cập nhật tập tin máy chủ của họ để phản ánh các máy chủ Distcc có sẵn trên trang trại.

  • ARS Object History Miễn phí

    Khắc phục lịch sử định nghĩa dòng công việc của các đối tượng dòng công việc ARSystem đã thay đổi thông qua các hoạt động liên quan đến quản trị viên. Giữ lại một lịch sử chạy của tất cả các định nghĩa đối tượng trong một hì

  • Brick Remote Miễn phí

    Brick Remote là một ứng dụng Gnome để điều khiển gạch LEGO RCX. Nó sử dụng LNP để giao tiếp với RCX. Nó cho phép kiểm soát ba đầu ra động cơ và theo dõi ba đầu vào cảm biến. Nó đòi hỏi brickOS trên RCX và đi kèm với một