một người phải tưởng tượng guille luôn hạnh phúc
guille
guille08:10 4 thg 7
phần hài hước hôm nay trong Julia: triển khai một mini-PL xác minh chính thức (đơn giản!) bằng cách sử dụng các kiểu của Julia nó thậm chí có thể xác minh rằng 1+1=2 từ các tiên đề Peano!
1,16K