Propietario · plfa

plfa

Repositorios de código abierto monitorizados de plfa, ordenados por estrellas.

1 repositorio

#1
plfa.github.io ↗@plfaAgda
Una introducción a la teoría de lenguajes de programación en Agda
★ 1514+0Variación de estrellas de los últimos 7 días