Ini ialah apl Linux bernama libmx yang keluaran terbarunya boleh dimuat turun sebagai libmx-0.2.tar.gz. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama libmx ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
libmx
DESCRIPTION
"mx" ialah pemacu ujian baris arahan untuk "libmx" (lihat di bawah) yang menilai kedua-dua jenis dan nilai ungkapan kalkulus lambda (http://en.wikipedia.org/wiki/Lambda_calculus) disediakan oleh pengguna.
"libnpmx.so" ("npmx.dll" pada MS Windows) ialah pemalam NPAPI (http://en.wikipedia.org/wiki/NPAPI) untuk pelayar web Mozilla Firefox berdasarkan "libmx".
"libmx" menyediakan rangka kerja untuk menangani ungkapan kalkulus lambda (dilanjutkan dan ditaip pilihan). Antara ciri lain yang disediakannya
mesin instantiasi templat oa untuk menilai nilai ungkapan kalkulus lambda,
mesin instantiasi templat oa untuk menilai jenis Hindley-Milner (http://en.wikipedia.org/wiki/Hindley-Milner) bagi ungkapan kalkulus lambda, dan
o pengurusan memori berasaskan kaunter rujukan untuk ungkapan dan jenis kalkulus lambda.
"libmx" ditulis dalam C (C99).
Antaramuka pengguna
Baris arahan, Pemalam
Bahasa Pengaturcaraan
C
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/libmx/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
