Yazılım Gönder
  1. Ev
  2. Linux
  3. Diğer
  4. PetitLambda

PetitLambda 0.1

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 4.0/5 - ‎1 ‎Oy
Indir

Lambda Kalkülüs'ün tercümanı. Lambda terimlerinin azalma sürecini gösterir. Çeşitli değerlendirme stratejileri desteklenir. Çıkış biçimi LaTex, düz metin den seçilebilir.

sürüm geçmişi

  • Sürüm 0.1 tarihinde gönderildi 2006-11-07
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 0.1 tarihinde gönderildi 2006-11-07

Program Detayları

İlgili Programlar

  • UK Bank Holidays Ücretsiz Deneme

    Tek bir tıklamayla, anımsatıcılar ve daha fazlası ile İngiltere resmi tatillerini takviminize görüntüleyin ve ekleyin! Veri bağlantısına gerek yok!Bu uygulama, 2011 yılı sonuna kadar Birleşik Krallık'taki (İngiltere, İsko

  • YAams Ücret -siz

    YAams - Henüz başka bir gelişmiş yapıcı sistemi - YAams herhangi bir programlama bilgisi olmadan 2D Oyunlar oluşturmak için bir editör vardır. Java ve pluginable onun witten

  • Ant Quick Start Guide for DITA-OT Ücret -siz

    Bu kılavuzun GA/RTM sürümü Apache 2.0 ve Common Public License 1.0 lisansları altında yeniden yayımlandı ve DITA Open Toolkit projesine, sürüm 1.5.2'ye bağışlandı. Ben aktif orada korumak ve dita XML benimsenmesi ancak ben de

  • Tree Lock Screen Ücret -siz

    Bu android için yeni ve özel bir ekran kilidi uygulamasıdır. Bu kilit açma aracında kilit yok, şifre yok ve parmak izi taraması yok. Bir karton ağaç telefonunuzun kapısıdır. SSS:1. Telefon ekranı nasıl açılır? Ağacın üzerind

  • C-pretter Ücret -siz

    Benim ve bir grup arkadaşımın projesi "C-pretter" Delphi dilinde C++ tercümanının oluşturulmasını içerecektir. Bu projenin ilk sürümü C++ dilinin öğelerini içerecektir: Değişken çalışma, l

  • wxWindows Project Manager for VC7 Ücret -siz

    Visual C++ 7 ile wxWindows kullanımını kolaylaştırmak için bir dizi araç.

  • SPACS Ücret -siz

    SPACS Macromedia / Adobe Flash için flash öğretici oluşturma otomatikleştirir bir uzantısıdır. SPACS panelini kullanarak, kullanıcılar bir dizi görüntü gönderir, soru/yanıt kümelerini tetikleyen etkin noktaları tanımlar ve bi

  • DistccTracker Ücret -siz

    Java tabanlı Distcc sunucu izleyicisi. İstemcilerin, çiftlikteki kullanılabilir Distcc sunucularını yansıtacak şekilde ana bilgisayar dosyalarını kolayca ve acısız bir şekilde güncelleştirmelerine izin verin.

  • ARS Object History Ücret -siz

    ADMIN ile ilgili işlemler yoluyla değiştirilen ARSystem iş akışı nesnelerinin çözüm iş akışı tanımı geçmişi. Tüm nesne tanımlarının çalışan geçmişini Bir Çözüm formunda tutar.

  • Brick Remote Ücret -siz

    Brick Remote, LEGO RCX tuğlasını kontrol etmek için bir Gnome uygulamasıdır. RCX ile iletişim kurmak için LNP kullanır. Üç motor çıkışını kontrol etmeyi ve üç sensör girdisini izlemenizi sağlar. Bu RCX brickOS gerektirir v