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!
4,68K