PLFA agda exercises
@charset "utf-8";

$sol-is-dark: true;
@import "theme/skins/solarized";