@import
    "minima/skins/classic",
    "minima/initialize",
    "minima/agda"
;