minus-squareradiohead@lemmy.worldtoProgrammer Humor@lemmy.ml•Turing-completenesslinkfedilinkarrow-up1·2 years agoHow about a Turing-complete type system (e.g. TypeScript)? linkfedilink
How about a Turing-complete type system (e.g. TypeScript)?