PLFA agda exercises
@use "sass:math";

@import
    "theme/skins/classic",
    "theme/initialize",
    "theme/fonts",
    "theme/agda"
;