Aritmética natural, entera, modular y de matrices en scheme para la asignatura Conocimiento y Razonamiento Automatizado en la UAH.
junquera/LambdaAritmetica-CRA
Aritmética natural, entera, modular y de matrices en scheme para la asignatura Conocimiento y Razonamiento Automatizado en la UAH.
Racket