Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. PetitLambda

PetitLambda 0.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

Seorang jurubahasa kalkulus lambda. Ia menunjukkan proses pengurangan istilah lambda. Beberapa strategi penilaian disokong. Format output boleh dipilih daripada LaTex, teks biasa.

sejarah versi

  • Versi 0.1 diposkan pada 2006-11-07
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.1 diposkan pada 2006-11-07

Butiran Atur Cara

Atur Cara Berkaitan

  • UK Bank Holidays Percubaan Percuma

    Lihat dan tambah cuti bank UK ke kalendar anda dengan satu klik, tetapkan peringatan dan banyak lagi! Tiada sambungan data diperlukan!Aplikasi ini menunjukkan tarikh dan maklumat mengenai cuti bank di United Kingdom (Engl

  • YAams Percuma

    YAams - Satu lagi sistem pembuat maju - YAams adalah editor untuk mewujudkan Permainan 2D tanpa pengetahuan program. Ia diselaraskan dalam Java & boleh dipasarkan

  • Ant Quick Start Guide for DITA-OT Percuma

    Versi GA/RTM panduan ini telah dikeluarkan semula di bawah apache 2.0 dan Lesen Awam Bersama 1.0 dan disumbangkan kepada projek Toolkit Terbuka DITA, versi 1.5.2. Saya secara aktif mengekalkannya di sana dan menyokong penerim

  • Tree Lock Screen Percuma

    Ini adalah aplikasi kunci skrin baru dan khas untuk android. Tiada kunci, tiada kata laluan dan tiada pengimbasan cap jari dalam alat membuka kunci ini. Pokok karton adalah pintu ke telefon anda. Soalan Lazim:1. Bagaimana un

  • C-pretter Percuma

    Projek lombong dan sekumpulan rakan akan dipanggil & sebut harga;C-pretter". Ia akan melibatkan penciptaan jurubahasa C++ dalam bahasa Delphi. Versi pertama projek ini akan melibatkan unsur-unsur bahasa C++ seper

  • wxWindows Project Manager for VC7 Percuma

    Satu set alat untuk memudahkan penggunaan wxWindows dengan Visual C++ 7.

  • SPACS Percuma

    SPACS adalah lanjutan untuk Macromedia / Adobe Flash yang mengautomasikan penciptaan tutorial kilat. Menggunakan panel SPACS, pengguna mengemukakan urutan imej, mentakrifkan hotspot yang mencetuskan set soalan / jawapan, dan

  • DistccTracker Percuma

    Penjejak pelayan Distcc berasaskan Java. Benarkan pelanggan untuk mengemas kini fail hos mereka dengan mudah dan tidak menyakitkan untuk mencerminkan pelayan Distcc yang tersedia di ladang.

  • ARS Object History Percuma

    Remedi aliran kerja definisi sejarah objek aliran kerja ARSystem berubah melalui operasi berkaitan pentadbir. Mengekalkan sejarah berjalan semua definisi objek dalam borang Ubat.

  • Brick Remote Percuma

    Bata Jauh adalah aplikasi Gnome untuk mengawal bata LEGO RCX. Ia menggunakan LNP untuk berkomunikasi dengan RCX. Ia membolehkan untuk mengawal tiga output motor dan untuk memantau tiga input sensor. Ia memerlukan brickOS d