Explores the construction and properties of morphisms, focusing on effective divisors, isomorphism of semi-groups, and the relationship between sheaves and factorial spaces.
Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.
