Get the latest tech news
1ML for non-specialists: introduction
L for non-specialists: introduction This is the first entry in what I intend as a multi-part series. 1ML is a type system designed by Andreas Rossberg and described in a collection of papers by him.
None
Or read this on Hacker News