module Talk where -- Brief overview of the module system import Modules -- Records in Agda and how they interact with modules import Records -- Some examples of algebraic structures import Structures -- Giving an instance of a ring import BoolRing