module Topology.Main where

import           Notes

import           Topology.MetricSpace
import           Topology.TopologicalSpace

topology :: Note
topology = chapter "Topology" $ do
    topologicalSpaceS
    metricSpaceS




