Trebuie să-l imaginăm pe Guille fericit în mod constant
guille
guille4 iul., 08:10
partea ridicolă de astăzi în Julia: implementarea unui mini-PL de verificare formală (simplă!) folosind tipuri Julia poate chiar să verifice că 1+1=2 din axiomele Peano!
1,16K