{-# OPTIONS --cubical --allow-unsolved-metas #-}
module AFF2024.AgdaTutorial where

import AFF2024.AgdaTutorial.Session1
import AFF2024.AgdaTutorial.Session2
import AFF2024.AgdaTutorial.Session-ALA