Deve-se imaginar Guille constantemente feliz
guille
guille4 de jul., 08:10
a parte ridícula de hoje em Julia: implementando um mini-PL de verificação formal (simples!) usando tipos Julia pode até verificar que 1 + 1 = 2 dos axiomas de Peano!
1,16K