Proprietário · plfa

plfa

Repositórios de código aberto acompanhados de plfa, ordenados por estrelas.

1 repositório

#1
plfa.github.io ↗@plfaAgda
Uma introdução à teoria de linguagens de programação em Agda.
★ 1.514+0Variação de estrelas nos últimos 7 dias