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

import AFF2024.AgdaTutorial

import AFF2024.Algebra.Basics
import AFF2024.AlgebraicSets.Basics
import AFF2024.Basics

import AFF2024.Algebra.AlgebraicallyClosedInfinite
import AFF2024.Algebra.PolynomialVanishing
import AFF2024.AlgebraicSets.Examples
import AFF2024.AlgebraicSets.Sizes
import AFF2024.AlgebraicSets.DiscriminatingFunctions