Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. PetitLambda

PetitLambda 0.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Seorang penerjemah kalkulus lambda. Ini menunjukkan proses pengurangan istilah lambda. Beberapa strategi evaluasi didukung. Format output dapat dipilih dari LaTex, teks biasa.

Riwayat versi

  • Versi 0.1 diposting di 2006-11-07
    Beberapa perbaikan dan pembaruan
  • Versi 0.1 diposting di 2006-11-07

Detil Program

Program Terkait

  • UK Bank Holidays Uji Coba Gratis

    Lihat dan tambahkan hari libur bank Inggris ke kalender Anda dengan satu klik, atur pengingat, dan lainnya! Tidak perlu koneksi data!Aplikasi ini menunjukkan tanggal dan info tentang liburan bank di Inggris (Inggris, Skot

  • YAams Gratis

    YAams - Namun sistem pembuat canggih lainnya - YAams adalah editor untuk membuat Game 2D tanpa pengetahuan programm. Witten dalam Java & pluginable

  • Ant Quick Start Guide for DITA-OT Gratis

    Versi GA/RTM dari panduan ini dirilis ulang di bawah lisensi Apache 2.0 dan Common Public License 1.0 dan disumbangkan ke proyek DITA Open Toolkit, versi 1.5.2. Saya secara aktif mempertahankannya di sana dan mendukung adopsi

  • Tree Lock Screen Gratis

    Ini adalah aplikasi kunci layar baru dan khusus untuk android. Tidak ada kunci, tidak ada kata sandi dan tidak ada pemindaian sidik jari di alat pembuka kunci ini. Pohon karton adalah pintu ke ponselmu. Pertanyaan umum:1. Ba

  • C-pretter Gratis

    Proyek saya dan sekelompok teman akan dipanggil "C-pretter". Ini akan melibatkan penciptaan penerjemah C ++ dalam bahasa Delphi. Versi pertama dari proyek ini adalah akan melibatkan elemen bahasa C ++ seperti : Oper

  • wxWindows Project Manager for VC7 Gratis

    Seperangkat alat untuk menyederhanakan penggunaan wxWindows dengan Visual C++ 7.

  • SPACS Gratis

    SPACS adalah ekstensi untuk Macromedia / Adobe Flash yang mengotomatiskan pembuatan tutorial flash. Menggunakan panel SPACS, pengguna mengirimkan urutan gambar, menentukan hotspot yang memicu pertanyaan / kumpulan jawaban, da

  • DistccTracker Gratis

    Pelacak server Distcc berbasis Java. Izinkan klien untuk dengan mudah dan tanpa rasa sakit memperbarui file host mereka untuk mencerminkan server Distcc yang tersedia di pertanian.

  • ARS Object History Gratis

    Memperbaiki riwayat definisi alur kerja objek alur kerja ARSystem yang diubah melalui operasi terkait admin. Mempertahankan riwayat berjalan dari semua definisi objek dalam formulir Remedy.

  • Brick Remote Gratis

    Brick Remote adalah aplikasi Gnome untuk mengontrol batu bata LEGO RCX. Ini menggunakan LNP untuk berkomunikasi dengan RCX. Ini memungkinkan untuk mengontrol tiga output motorik dan untuk memantau tiga input sensor. Ini me