Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

Devolver el HTML con resaltado sintáctico y los módulos ResourceLoader asociados en forma de objeto JSON.