Agda as a programming language

module Padova2025.ProgrammingBasics where

import Padova2025.ProgrammingBasics.Booleans
import Padova2025.ProgrammingBasics.Operators
import Padova2025.ProgrammingBasics.HigherOrder
import Padova2025.ProgrammingBasics.Naturals
import Padova2025.ProgrammingBasics.DependentFunctions
import Padova2025.ProgrammingBasics.SyntacticSugar
import Padova2025.ProgrammingBasics.Lists
import Padova2025.ProgrammingBasics.Vectors