Formal Languages: ConceptsCovers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Operations on Formal LanguagesExplores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.
Polymorphic Types in AmyCovers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.
Formal Languages: ConceptsCovers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Custom operatorsExplores the implementation of custom operators in a programming language, including syntax examples, precedence levels, parsing stages, and solutions like function overloading.