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