Tutorial
- Introduction
- Monday 22 Nov 15:00 - 17:30, Original Completed Video
- Tuesday 23 Nov 15:00 - 16:30, Original Completed Video
- Wednesday 24 Nov 15:00 - 17:30, Original Completed Video
- Thursday 25 Nov 15:00 - 17:30, Original Completed Video
Everything
{-# OPTIONS --guardedness --allow-unsolved-metas #-}
import Tutorials.Monday
import Tutorials.Tuesday
import Tutorials.Wednesday
import Tutorials.Thursday