Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Typechecking Is Undecidable When 'Type' Is a Type

dspace.mit.edu

3 points by zem a day ago