LCI - A lambda calculus interpeter 0.6
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O LCI - A lambda calculus interpeter
LCI jest tłumaczem dla rachunku lambda. Obsługuje wiele funkcji postępu, takich jak liczby całkowite, rekursja, operatory zdefiniowane przez użytkownika i wiele strategii oceny.