VictorTaelin/Interaction-Calculus
@VictorTaelinBahasa pemrograman dan model komputasi yang sangat cocok dengan algoritma reduksi kalkulus λ yang optimal.
Bintang
948
Fork
70
Bahasa
C
Lisensi
—
Push terakhir
10 bulan yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.