PLFA agda exercises
@use "sass:math";

@import
    "theme/skins/dark",
    "theme/initialize",
    "theme/fonts",
    "theme/agda-dark"
;