{-# OPTIONS --safe --cubical #-}

module Tutorials.Everything where

import Tutorials.Project01.Main
import Tutorials.Project02.Main
import Tutorials.Project03.Main
import Tutorials.Project04.Main
import Tutorials.Project05.Main
import Tutorials.Project06.Main
import Tutorials.Project07.Main
import Tutorials.Project08.Main