The Nest
Explore
0
PLFA agda exercises 
<!DOCTYPE html>
<html lang="en">
    $^$${ head() }
    <body>
        $^$${ header() }
        <main class="page-content" aria-label="Content">
            <div class="wrapper">
$body$
            </div>
        </main>
        $^$${ footer() }
    </body>
</html>