3 ms·
Don’t miss the code package linked in the paper: https://zenodo.org/record/7004898 https://zenodo.org/record/7004898 I always felt like the Python type system
by nneonneo 4y ago
Don’t miss the code package linked in the paper: https://zenodo.org/record/7004898 https://zenodo.org/record/7004898
I always felt like the Python type system was underpowered compared to e.g. TypeScript (not necessarily a bad thing), but I guess it’s still enough to be Turing-complete.