Lambda Calculus Playground 1.1.0
Lisensi: Gratis Ukuran file: 1.36 MB
Peringkat Pengguna: 0.0/5 - 0 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Lambda Calculus Playground
Jelajahi kalkulus lambda yang tidak diketik, salah satu sistem paling mendasar dalam komputasi. Dimulai dengan seperangkat aturan yang sangat sederhana, semua komputasi dimungkinkan. Tetapi hanya karena aturannya sederhana tidak berarti kalkulus lambda itu mudah: Anda akan membutuhkan kecerdasan dan kreativitas untuk sampai ke titik di mana Anda dapat menghitung apa pun. Aplikasi ini memungkinkan Anda untuk membuat ekspresi kalkulus lambda secara visual (lambdas, variabel, dan panggilan fungsi) dan mengevaluasinya. Cobalah booleans, angka gereja, atau combinator Y. Bekerja dengan baik di tablet! Di ponsel, berfungsi paling baik dalam mode lanskap.