Programming Language Theory FlashcardWhy does matklad think mod.rs-less system is self-inconsistent?Properties 2Hide ConceptsSystem DeckgeneralQuestionWhy does matklad think mod.rs-less system is self-inconsistent?AnswerBlog posts: Notes on module systems Previous in FlashcardsWhy did lambda calculus see widespread use in programming language specification, type system studies, etc?Next in Flashcards Why does type inference cause vague error messages?